✦ LIBER ✦

A formal framework for modeling and validating Simulink diagrams

✍ Scribed by Chunqing Chen; Jin Song Dong; Jun Sun

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A framework for formal modeling and anal

✍ Catholijn M. Jonker; Alexei Sharpanskykh; Jan Treur; PInar Yolum 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 634 KB

A formal mathematical framework for mode

✍ Robert St-Aubin; Joel Friedman; Alan K. Mackworth 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 679 KB

A model-based validation framework for P

✍ C.N. Young; D.A. Johnson; E.J. Weckman 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 765 KB

A Conceptual and Formal Framework for th

✍ Hartmut Ehrig; Fernando Orejas 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 377 KB

A Multi-formalism Approach for the Valid

✍ Sophie Dupuy; Lydie du Bousquet 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 51 KB

Exploiting practical limitations of UML

✍ Friedrich Steimann; Heribert Vollmer 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 570 KB