✦ LIBER ✦

Verification of Distributed Hierarchical Components

✍ Scribed by Tomás Barros; Ludovic Henrio; Eric Madelaine

Book ID: 108126697
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 423 KB
Volume: 160
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2006.05.014

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Distributed Verification and Hardness of

Distributed Verification and Hardness of Distributed Approximation

✍ Sarma, Atish Das; Holzer, Stephan; Kor, Liah; Korman, Amos; Nanongkai, Danupon; 📂 Article 📅 2012 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 473 KB

Hierarchical Verification of Galois Fiel

Hierarchical Verification of Galois Field Circuits

✍ Mukhopadhyay, D.; Sengar, G.; Chowdhury, D.R. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 170 KB

Verification of scope-dependent hierarch

Verification of scope-dependent hierarchical state machines

✍ Salvatore La Torre; Margherita Napoli; Mimmo Parente; Gennaro Parlato 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 482 KB

Towards the hierarchical verification of

Towards the hierarchical verification of reactive systems

✍ Mila Majster-Cederbaum; Frank Salger 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 514 KB

Methodology Verification of Hierarchical

Methodology Verification of Hierarchically Described VLSI Circuits

✍ Bain, I.L.; Glasser, L.A. 📂 Article 📅 1987 🏛 IEEE 🌐 English ⚖ 725 KB

Automatic verification of distributed lo

Automatic verification of distributed logic specifications

✍ R Mall; L.M Patnaik 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 934 KB