✦ LIBER ✦

Using flows for describing and verifying the behaviour of interactive systems

✍ Scribed by Bruno d’Ausbourg; Guy Durrieu; Pierre Roche

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A framework for specifying and verifying

✍ Andrea Bracciali; Antonio Brogi; Franco Turini 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 579 KB

The Application of Specific Interaction

✍ Vladimir V. Kuznetsov; Irina V. Yakunina 📂 Article 📅 1995 🏛 Royal Society of Chemistry 🌐 English ⚖ 87 KB

Stabilization of Nonholonomic Systems Us

✍ Bloch, Anthony M.; Drakunov, Sergey V.; Kinyon, Michael K. 📂 Article 📅 2000 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 197 KB

On the use of analytic approximations fo

✍ A. J. Pedraza; S. Harriague; D. Fainstein-Pedraza 📂 Article 📅 1980 🏛 The Minerals, Metals & Materials Society 🌐 English ⚖ 745 KB

Use of the averaged variational principl

✍ V. P. Reutov 📂 Article 📅 1973 🏛 Springer US 🌐 English ⚖ 600 KB

Programming and verifying real-time syst

✍ Halbwachs, N.; Lagnier, F.; Ratel, C. 📂 Article 📅 1992 🏛 IEEE 🌐 English ⚖ 946 KB