✦ LIBER ✦

A formal approach to MpSoC performance verification

✍ Scribed by Richter, K.; Jersak, M.; Ernst, R.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

VESAR: a pragmatic approach to formal sp

✍ B. Algayres; V. Coelho; L. Doldi; H. Garavel; Y. Lejeune; C. Rodríguez 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 765 KB

An Algebraic Approach to Formal Verifica

✍ Kanji Hirabayashi 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 36 KB

A formal approach to protocol performanc

✍ Mingwei Xu; Jianping Wu 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 468 KB

An approach to formal verification of hu

✍ Paul Curzon; Rimvydas Rukšėnas; Ann Blandford 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 666 KB

A novel formal verification approach for

✍ Ridha Djemal; Mohamed Ayoub Dhouib; Samuel Dellacherie; Rached Tourki 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 929 KB

An approach to sequential circuit diagno

✍ G. Cabodi; P. Camurati; F. Corno; P. Prinetto; M. Sonza Reorda 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 631 KB