✦ LIBER ✦

Model validation for embedded systems using formal method-aided simulation

✍ Scribed by Karlsson, D.; Eles, P.; Peng, Z.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hardware/Software Co-Design of Complex E

✍ Nikolaos S. Voros; Luis Sánchez; Alejandro Alonso; Alexios N. Birbas; Michael Bi 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 515 KB

Experience of using a lightweight formal

✍ Michael Breen 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 304 KB

Computer-aided method for quantification

✍ Kauffmann, C.; Gravel, P.; Godbout, B.; Gravel, A.; Beaudoin, G.; Raynauld, J.-P 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 809 KB

Calculations for optical systems, using

✍ Grammatin, A. P.; Kolesnik, E. V. 📂 Article 📅 2004 🏛 Optical Society of America 🌐 English ⚖ 40 KB

Systems modeling & requirements specific

✍ Jonah Z. Lavi; Joseph Kudish 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 526 KB

Validation of precipitation events in a

✍ V. Pelino; A. Matera; T. Colombo; F. Giorgi 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 167 KB