✦ LIBER ✦

Monitoring, Checking, and Steering of Real-Time Systems

✍ Scribed by Moonjoo Kim; Insup Lee; Usa Sammapun; Jangwoo Shin; Oleg Sokolsky

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Systems || Model Checking of F

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

Enhanced real-time monitoring system

📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 360 KB

Comparing model checking and logical rea

✍ Henning Dierks 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 242 KB

Design and checking of a large ADA real-

✍ Jean-Louis Théron 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 428 KB

Real-time AE system monitors welding

📂 Article 📅 1985 🏛 Elsevier Science ⚖ 155 KB

Supernova real-time monitor system in Ka

✍ Y. Oyama; M. Yamada; T. Ishida; T. Yamaguchi; H. Yokoyama 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 449 KB