✦ LIBER ✦

Model-Driven Engineering and Safety-Critical Embedded Software

✍ Scribed by Shukla, S.K.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Improving Software Quality in Safety-Cri

✍ Anders Henriksson; Uwe Aßman; James Hunt 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 782 KB

Licensing Reliable Embedded Software for

✍ Francesca Saglietti 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 171 KB

Model-driven architecture-centric engine

✍ Manfred Broy 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 488 KB

Model checking of safety-critical softwa

✍ J. Lahtinen; J. Valkonen; K. Björkman; J. Frits; I. Niemelä; K. Heljanko 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 637 KB

Reliability modeling for safety-critical

✍ Schneidewind, N.F. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 904 KB

Embedded software product lines: domain

✍ Lorea Belategi; Goiuria Sagardui; Leire Etxeberria; Maider Azanza 📂 Article 📅 2012 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 656 KB