✦ LIBER ✦

Model checking Trampoline OS: a case study on safety analysis for automotive software

✍ Scribed by Yunja Choi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A generalized multiple layer data envelo

✍ Yongjun Shen; Elke Hermans; Da Ruan; Geert Wets; Tom Brijs; Koen Vanhoof 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 464 KB

Cutpoint analysis for models with binary

✍ Sebastian Hein; Aaron R. Weiskittel 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 308 KB

Uncertainty analysis as a tool for refin

✍ Jose Manuel Álvarez-Martínez; Jetse J. Stoorvogel; Susana Suárez-Seoane; Estanis 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 820 KB

[IEEE 2010 8th IEEE International Confer

✍ Seabra, Eurico; Machado, Jose 📂 Article 📅 2010 🏛 IEEE ⚖ 503 KB