✦ LIBER ✦

Model Checking Applied to Embedded Software of University Satellite

✍ Scribed by Alencar, Waldo A. F.; Villani, Emilia

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A symbolic model checking approach to ve

✍ Gan, Xiang; Dubrovin, Jori; Heljanko, Keijo 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 909 KB

Contributions of model checking and CoFI

✍ Pontes, Rodrigo Pastl; Véras, Paulo Claudino; Ambrosio, Ana Maria; Villani, Emíl 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 640 KB

Predictive distribution models applied t

✍ Frédéric Jiguet; Morgane Barbet-Massin; Damien Chevallier 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 278 KB

[Lecture Notes in Computer Science] Mode

✍ Graf, Susanne; Mounier, Laurent 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 267 KB

Assessment of logistics software by mean

✍ Jos C.J. de Heij; RenéM.A. Caubo 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 1010 KB

[IEEE Factory Automation (ETFA 2010) - B

✍ Gharbi, A; Khalgui, M; Ahmed, S B 📂 Article 📅 2010 🏛 IEEE ⚖ 634 KB