✦ LIBER ✦

Modeling distributed real-time applications with specification PEARL

✍ Scribed by Roman Gumzej; Shourong Lu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Resource optimization in distributed rea

✍ Ran Yang, Robert D. van der Mei, Dennis Roubos, Frank J. Seinstra, Henri E. Bal 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 711 KB

Special Issue: Distributed Simulation an

✍ Stephen John Turner 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 82 KB 👁 1 views

Adaptive resource management for dynamic

✍ Eui-Nam Huh; Lonnie R. Welch 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 468 KB

A development environment for complex di

✍ Stoyen, A.D.; Marlowe, T.J.; Younis, M.F.; Petrov, P.V. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 555 KB