✦ LIBER ✦

System verification using multilevel concurrent simulation

✍ Scribed by Lentz, K.P.; Heller, J.; Montessoro, P.L.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Simulation refinement for concurrency ve

✍ Wim H. Hesselink 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 328 KB

Cloth simulation using multilevel meshes

✍ Dongliang Zhang; Matthew M.F. Yuen 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 260 KB

Automatic and hierarchical verification

✍ Xudong Zhao; Yulin Feng 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 433 KB

Automatic verification of concurrent sys

✍ Antonella Santone 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 352 KB

Multilevel design and verification of ha

✍ Philipson, L. 📂 Article 📅 1990 🏛 IEEE 🌐 English ⚖ 710 KB

Procedure-Level Verification of Real-tim

✍ Farn Wang; Chia-Tien Lo 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 279 KB