✦ LIBER ✦

Consistency verification in modeling of real-time systems

✍ Scribed by Yi Deng; Jiacun Wang; Mengchu Zhou

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling and verification of real-time s

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

Real-Time Systems || Analysis and Verifi

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

Modeling in real-time systems

✍ Maarten Boasson 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 706 KB

Oris: a tool for modeling, verification

✍ Giacomo Bucci; Laura Carnevali; Lorenzo Ridi; Enrico Vicario 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 926 KB

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