✦ LIBER ✦

Animation prototyping of formal specifications of real-time systems

✍ Scribed by T.S. Hughes; J.E. Cooling

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Making formal specifications accessible

✍ J.E. Cooling; T.S. Hughes 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 654 KB

Logical formalism for specification of r

✍ D. Yu. Bugaichenko; I. P. Solov’ev 📂 Article 📅 2007 🏛 Allerton Press, Inc. 🌐 English ⚖ 167 KB

Formal verification of real-time systems

✍ Didier Lime; Olivier (H. ) Roux 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 713 KB

Towards UML-based formal specifications

✍ Vieri del Bianco; Luigi Lavazza; Marco Mauri; Giuseppe Occorso 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 306 KB

An environment for distributed prototypi

✍ A. Alonso; J.C. Dueñas; G. León; J.A. de la Puente 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 545 KB

An environment for distributed prototypi

✍ A Alonso; J.C Dueñas; G León; J.A De La Puente 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 1011 KB