✦ LIBER ✦

System level validation using formal techniques

✍ Scribed by Drechsler, R.; Grosse, D.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

System-Level Validation Volume 251 || Pr

✍ Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat 📂 Article 📅 2012 🏛 Springer New York ⚖ 359 KB

System-Level Validation Volume 7026 || D

✍ Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat 📂 Article 📅 2012 🏛 Springer New York ⚖ 798 KB

System-Level Validation Volume 6226 || R

✍ Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat 📂 Article 📅 2012 🏛 Springer New York ⚖ 1015 KB

Formal system-level design space explora

✍ Daniel Knorreck; Ludovic Apvrille; Renaud Pacalet 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 978 KB

Modeling high assurance agent-based Eart

✍ Sarmad Sadik; Alade Rahman; Arshad Ali; H. Farooq Ahmad; Hiroki Suguri 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 858 KB

Model validation for embedded systems us

✍ Karlsson, D.; Eles, P.; Peng, Z. 📂 Article 📅 2008 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 520 KB