✦ LIBER ✦

Concurrent models of computation for embedded software

✍ Scribed by Lee, E.A.; Neuendorffer, S.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Models of computation and languages for

✍ Jantsch, A.; Sander, I. 📂 Article 📅 2005 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 406 KB

Hardware-software timing coverification

✍ Hsiung, P.-A. 📂 Article 📅 2000 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 464 KB

Model-Based Verification of Embedded Sof

✍ Shokry, H.; Hinchey, M. 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 768 KB

Model-integrated development of embedded

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

Model-based approaches and frameworks fo

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

Task construction for model-based design

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