✦ LIBER ✦

Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems

✍ Scribed by André L. N. Muniz; Aline M. S. Andrade; George Lima

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design of a real-time inspection system

✍ S. Ganapathy; B. Schmult 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 1015 KB

Design and implementation of an integrat

✍ Servet Tuncer; Yetkin Tatar; Hanifi Güldemir 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 774 KB

Testbed-based validation of design techn

📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 130 KB