✦ LIBER ✦

A framework for specifying and verifying the behaviour of open systems

✍ Scribed by Andrea Bracciali; Antonio Brogi; Franco Turini

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A unified framework for describing and v

✍ Ghislaine Thuau; Bachir Berkane 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 1000 KB

Using flows for describing and verifying

✍ Bruno d’Ausbourg; Guy Durrieu; Pierre Roche 📂 Article 📅 1996 🏛 Springer-Verlag 🌐 English ⚖ 872 KB

QuTiP: An open-source Python framework f

✍ J.R. Johansson; P.D. Nation; Franco Nori 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 670 KB

An Algorithmic Framework for Specifying

✍ Alistair Knott 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 84 KB

A Type System for the Java Bytecode Lang

✍ Stephen N. Freund; John C. Mitchell 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 293 KB

Modelling of the thermal behaviour of a

✍ Pradeep Kumar; S. Devotta 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 341 KB