✦ LIBER ✦

Verification of Hierarchical State/Event Systems using Reusability and Compositionality

✍ Scribed by G. Behrmann; K.G. Larsen; H.R. Andersen; H. Hulgaard; J. Lind-Nielsen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of Large State/Event System

✍ Jørn Lind-Nielsen; Henrik Reif Andersen; Henrik Hulgaard; Gerd Behrmann; Kåre Kr 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 173 KB

Modeling and control of discrete event s

✍ Junhui Zhao; Yi-Liang Chen; Zhong Chen; Feng Lin; Caisheng Wang; Hongwei Zhang 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 789 KB

[Lecture Notes in Computer Science] Term

✍ Pfenning, Frank 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 189 KB

The State of US Trauma Systems: Public P

✍ Howard R. Champion; Marcia S. Mabee; J. Wayne Meredith 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 406 KB