✦ LIBER ✦

Validation-based development of dependable systems

✍ Scribed by Arlat, J.; Boue, J.; Crouzet, Y.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design validation of embedded dependable

✍ Bondavalli, A.; Fantechi, A.; Latella, D.; Simoncini, L. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 116 KB

Simulation-based Testing of Communicatio

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

A modelling and simulation based process

✍ Miriam Zia; Sadaf Mustafiz; Hans Vangheluwe; Jörg Kienzle 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 809 KB

Consistent design of dependable control

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

Monitoring field-programmable gate array

✍ Bartzoudis, N.; Hopkins, A.B.T.; McDonald-Maier, K.D. 📂 Article 📅 2007 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 419 KB

Reachability analysis -based validation

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