✦ LIBER ✦

The dynamic checking of complex real time system

✍ Scribed by Yu Chao; Huang Benwen; Wu Guoqing

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

Monitoring, Checking, and Steering of Re

✍ Moonjoo Kim; Insup Lee; Usa Sammapun; Jangwoo Shin; Oleg Sokolsky 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 162 KB

Real-time digital dynamic focusing syste

✍ G. Castellini; L. Masotti; A. Matucci; S. Modi; S. Rocchi 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 688 KB

Design and checking of a large ADA real-

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

Model checking MASL specification of dis

✍ D. Yu. Bugaichenko 📂 Article 📅 2007 🏛 Allerton Press, Inc. 🌐 English ⚖ 238 KB

Exact Acceleration of Real-Time Model Ch

✍ Martijn Hendriks; Kim G. Larsen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 405 KB