✦ LIBER ✦

Model-Based Verification of Embedded Software

✍ Scribed by Shokry, H.; Hinchey, M.

Book ID: 114576674
Publisher: IEEE
Year: 2009
Tongue: English
Weight: 768 KB
Volume: 42
Category: Article
ISSN: 0018-9162
DOI: 10.1109/mc.2009.125

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Practical verification of embedded softw

Practical verification of embedded software

✍ Straunstrup, J.; Andersen, H.R.; Hulgaard, H.; Lind-Nielsen, J.; Behrmann, G.; K 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 444 KB

Embedded software verification in hardwa

Embedded software verification in hardware–software codesign

✍ Pao-Ann Hsiung 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 246 KB

Model-based approaches and frameworks fo

Model-based approaches and frameworks for embedded software systems

✍ João M. Fernandes; Dov Dori 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 61 KB

NCES-based modelling and CTL-based verif

NCES-based modelling and CTL-based verification of reconfigurable embedded control systems

✍ Mohamed Khalgui 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 931 KB

in Germany, and it is supported by the Alexander von Humboldt foundation in Germany under the reference TUN1127196STP.) deals with automatic reconfigurations of safe embedded control systems following the component-based International Industrial Standard IEC61499 in which a Function Block (FB) is an

Task construction for model-based design

Task construction for model-based design of embedded control software

✍ Wang, S.; Shin, K.G. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 905 KB

Model-integrated development of embedded

Model-integrated development of embedded software

✍ Karsai, G.; Sztipanovits, J.; Ledeczi, A.; Bapty, T. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 758 KB