✦ LIBER ✦

Fault models and test generation for hardware-software covalidation

✍ Scribed by Harris, I.G.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc Sixth IEEE Internation

✍ Harris, I.G. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 69 KB

Fault Models and Test Generation for OpA

✍ José Vicente Calvano; Antônio Carneiro de Mesquita Filho; Vladimir Castro Alves; 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 296 KB

Software fault interactions and implicat

✍ Kuhn, D.R.; Wallace, D.R.; Gallo, A.M., Jr. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 388 KB

Test Generation and Fault Simulation for

✍ M. Psarakis; D. Gizopoulos; A. Paschalis 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 48 KB

Fault-tolerant system dependability-expl

✍ Kanoun, K.; Ortalo-Borrel, M. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 287 KB

Contract Specification for Hardware Inte

✍ Silva, R.S.F.; Hesser, J.; Männer, R. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 442 KB