✦ LIBER ✦

Automated support for the formal specification and design of real-time systems

✍ Scribed by Chris Ho-Stuart; Hussein Zedan; Ming Fang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

an approach to formal specification and

✍ Yulin Yao 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 473 KB

The specification and design of hard rea

✍ J.S. Sagoo; D.J. Holding 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 556 KB

Directed flowgraphs: The basis of a spec

✍ Jorge E. Rodriguez; Sol J. Greenspan 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 1023 KB

A comparison of temporal Petri net techn

✍ J.S. Sagoo; D.J. Holding 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 623 KB

Specification of real time systems for p

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 138 KB

Invited Tool Demonstration Moby/RT: A To

✍ Henning Dierks 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 49 KB