✦ LIBER ✦

An efficient state space generation for the analysis of real-time systems

✍ Scribed by Kang, I.; Lee, I.; Young-Si Kim

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Timed state space analysis of real-time

✍ Bucci, G.; Fedeli, A.; Sassoli, L.; Vicario, E. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 740 KB

An abstract description generator for th

✍ Elisabetta Binaghi; Lorenzo Lisca; Alberto Proserpio; Giacomo R Sechi 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 580 KB

An expert system shell for analysis of r

✍ Wei-Guang Tong; Lin-Liang Zhao 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 288 KB

A General Framework for Parameterized Sc

✍ Jianjia Wu; Jyh-Charn Liu; Wei Zhao 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 409 KB

Analysis of stability robustness for gen

✍ Chun-Hsiung Fang; Fan-Ren Chang 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 556 KB

An efficient technique for real-time con

✍ S.A. Farghal; A.A. Abou-Elela; M.Roshdy Abdel Aziz 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 733 KB