✦ LIBER ✦

On Verification of Linear Occurrence Properties of Real-Time Systems

✍ Scribed by Choe Changil; Dang Van Hung

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of Real-Time Systems using

✍ Nicolas Halbwachs; Yann-Erick Proy; Patrick Roumanoff 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 540 KB

Real-Time Systems || Analysis and Verifi

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 279 KB 👁 2 views

Efficient Verification of Parallel Real–

✍ Tomohiro Yoneda; Bernd–Holger Schlingloff 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 452 KB

Formal verification of real-time systems

✍ Didier Lime; Olivier (H. ) Roux 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 713 KB

Modeling and verification of real-time s

✍ Kazuhiro Ogata; Kokichi Futatsugi 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 358 KB

Mechanizing the verification of real-tim

✍ J.S. Ostroff 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 687 KB