✦ LIBER ✦

The testability of distributed real-time systems [Book Reviews]

✍ Scribed by Zalewski, J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Two Books on Distributed Real-Time Syste

✍ Zaleuski, J. 📂 Article 📅 1997 🏛 IEEE Computer Society 🌐 English ⚖ 226 KB

Two Books on Distributed Real-Time Syste

✍ Zalewski, J. 📂 Article 📅 1997 🏛 IEEE Computer Society 🌐 English ⚖ 94 KB

Real-time systems resource management [B

✍ Lutz, M.J. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 110 KB

Network conscious design of distributed

✍ Jung Woo Park; Young Shin Kim; Seongsoo Hong; Manas Saksena; Sam H. Noh; Wook Hy 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 702 KB

Model checking MASL specification of dis

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

Verifying automata specification of dist

✍ Tiegeng Luo; Huowang Chen; Bingshan Wang; Ji Wang; Zhenghu Gong; Zhichang Qi 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 595 KB