✦ LIBER ✦

A language for formal design of embedded intelligence research systems

✍ Scribed by Benjamin Dittes; Christian Goerick

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal design language for real-time s

✍ Steven Bradley; William Henderson; David Kendall; Adrian Robson 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 400 KB

Designing a feedback component of an int

✍ Anita Ferreira; John Atkinson 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 191 KB

Formal methods for telecommunication sys

✍ Mark A. Ardis 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 295 KB

A System-Based Approach to the Formal De

✍ Michael Butler 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 112 KB

Formal design principles of a complete a

✍ O. M. Veinerov; V. M. Blyum; M. S. Kazarov 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 821 KB

Experience of using a lightweight formal

✍ Michael Breen 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 304 KB