✦ LIBER ✦

Contributions of model checking and CoFI methodology to the development of space embedded software

✍ Scribed by Pontes, Rodrigo Pastl; Véras, Paulo Claudino; Ambrosio, Ana Maria; Villani, Emília

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Evaluating the Contributions of a Struct

✍ Kay M. Nelson; Mehdi Ghods 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 82 KB

Development and validation of a methodol

✍ Marcel Schweiker; Sabine Brasche; Wolfgang Bischof; Maren Hawighorst; Karsten Vo 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 925 KB

Contributions to the Modeling and Design

✍ Perruisseau-Carrier, J.; Bongard, F.; Golubovic-Niciforovic, R.; Torres-Sánchez 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 839 KB

The Model of Europe and Other Contributi

✍ Paolo Morisi 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 133 KB

[IEEE Fourth International Workshop on M

✍ Bezivin, Jean; Barbero, Mikael; Jouault, Frederic 📂 Article 📅 2007 🏛 IEEE ⚖ 146 KB

[IEEE Fourth Workshop on Model-Based Dev

✍ Manders, E.-J.; Biswas, G.; Mahadevan, N.; Karsai, G. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 517 KB