✦ LIBER ✦

Analysis of three hybrid systems in timed μCRL

✍ Scribed by Jan Friso Groote; Jos van Wamel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Passivity Analysis and Passification of

✍ Bemporad, A.; Bianchini, G.; Brogi, F. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 165 KB

Analysis of vibrations in large flexible

✍ Olena V. Mul; Delfim F.M. Torres 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 203 KB

Analysis of a Hybrid Frequency--Time Hop

✍ Wittman, J. 📂 Article 📅 1968 🏛 IEEE 🌐 English ⚖ 804 KB

Error analysis in hybrid computer simula

✍ A.K. El-Sherif; A.A. Kamal; A.Y. Bilal 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 627 KB

Three-dimensional hybrid implicit–explic

✍ Chen, J.; Wang, J.; Tian, C. 📂 Article 📅 2009 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 299 KB

Hybrid analysis of response time distrib

✍ Conway, A.E.; O'Brien, D.E. 📂 Article 📅 1993 🏛 IEEE 🌐 English ⚖ 971 KB