✦ LIBER ✦

Design validation of embedded dependable systems

✍ Scribed by Bondavalli, A.; Fantechi, A.; Latella, D.; Simoncini, L.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Validation-based development of dependab

✍ Arlat, J.; Boue, J.; Crouzet, Y. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 132 KB

Consistent design of dependable control

✍ M. Blanke 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 676 KB

A Remote Methodology for Embedded System

✍ Alessandro Fin; Franco Fummi 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 153 KB

Simulation-based Testing of Communicatio

✍ Guillermo A. Alvarez; Flaviu Cristian 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 147 KB

A software integration approach for desi

✍ Neeraj Suri; Arshad Jhumka; Martin Hiller; András Pataricza; Shariful Islam; Con 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 733 KB

Reachability analysis -based validation

✍ Antti Valmari 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 875 KB