✦ LIBER ✦

A formal design language for real-time systems with data

✍ Scribed by Steven Bradley; William Henderson; David Kendall; Adrian Robson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated support for the formal specifi

✍ Chris Ho-Stuart; Hussein Zedan; Ming Fang 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 513 KB

A language for formal design of embedded

✍ Benjamin Dittes; Christian Goerick 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 1018 KB

Sokrates-SA - A formal method for specif

✍ Ari Okkonen; Antti Auer; Mikko Levanto; Jyrki Okkonen; Jarmo Kalaoja 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 730 KB

A Real-Time Discrete Event System Specif

✍ Joon Sung Hong; Hae-Sang Song; Tag Gon Kim; Kyu Ho Park 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 604 KB

CRDB — A real time data base for distrib

✍ L Tapolcai; Z Sopronfalvi 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 318 KB

Design ofH2Controllers for Sampled-Data

✍ Kwang Sung Park; Jin Bae Park; Yoon Ho Choi; Zhong Li; Nam Hyun Kim 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 331 KB