✦ LIBER ✦

Design and Verification of Microprocessor Systems for High-Assurance Applications || ACL2 and Its Applications to Digital System Verification

✍ Scribed by Hardin, David S.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design of a Fault-Tolerant System Based

✍ Michitaka Kameyama; Li Zheng; Tatsuo Higuchi 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 671 KB

Design, programming and application of a

✍ Joachim Lenzer; Renate Lenzer; Ralf Steinmetz 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 680 KB

A simplified method for reliability- and

✍ Mousavi, Mir Emad; Gardoni, Paolo 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 962 KB

[Lecture Notes in Computer Science] Leve

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 59 KB

[IEEE 2007 9th International Conference

✍ Hahanov, Vladimir; Yegorov, Oleksandr; Mostova, Karyna; Kovalyov, Eugene 📂 Article 📅 2007 🏛 IEEE ⚖ 615 KB

Design and development of a mixed signal

✍ M. Auer; E. Ehrlich; A. Missoni; W. Kargl; G. Holweg; W. Pribyl 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 366 KB