✦ LIBER ✦

Guest Editorial: Verification of Hybrid Systems

✍ Scribed by maler, Oded

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Guest Editorial: Hybrid intelligent fusi

✍ Wozniak, Michal; Corchado, Emilio S.; Romay, Manuel Graña 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 130 KB

Guest editorial - testing and verificati

✍ Gizopoulos, D.; Aitken, R.C. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 146 KB

Verification of clocked and hybrid syste

✍ Yonit Kesten; Zohar Manna; Amir Pnueli 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 688 KB

Guest Editors' Introduction: Attacking F

✍ Bhadra, J.; Abadir, M.S.; Wang, L.-C. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 101 KB

Guest editorial: Hybrid optical image pr

✍ Ting-Chung Poon 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 75 KB

SMT-based scenario verification for hybr

✍ Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 800 KB