✦ LIBER ✦

Timed verification of hierarchical communicating real-time state machines

✍ Scribed by Angelo Furfaro; Libero Nigro

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modular Design of Real-Time Systems Usin

✍ Angelo Furfaro; Libero Nigro; Francesco Pupo 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 443 KB

Timed Verification of Machine-to-Machine

✍ Gharbi, Ghada; Guermouche, Nawal; Monteil, Thierry 📂 Article 📅 2014 🏛 Elsevier 🌐 English ⚖ 877 KB

Verification of scope-dependent hierarch

✍ Salvatore La Torre; Margherita Napoli; Mimmo Parente; Gennaro Parlato 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 482 KB

Hierarchical correctness verification in

✍ T. Szmuc; P. Szwed; J.-J. Schwarz; J. Skubich 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 770 KB

Hierarchical correctness verification in

✍ T Szmuc; P Szwed; J-J Schwarz; J Skubich 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 975 KB

Real-Time Systems || Analysis and Verifi

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