✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design Volume 3312 || Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques

✍ Scribed by Hu, Alan J.; Martin, Andrew K.

Book ID: 120488166
Publisher: Springer Berlin Heidelberg
Year: 2004
Weight: 301 KB
Category: Article
ISBN: 3540304940
DOI: 10.1007/978-3-540-30494-4_3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design Volume 1166 || Coverage-directed test generation using symbolic techniques

✍ Srivas, Mandayam; Camilleri, Albert 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 981 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design Volume 1954 || Applications of Hierarchical Verification in Model Checking

✍ Hunt, Warren A.; Johnson, Steven D. 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 503 KB

The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the use of discrete mathematical methods for the analysis of computer hardware and so- ware. The work reported in this book describes the use of modeling la

[Lecture Notes in Computer Science] Corr

[Lecture Notes in Computer Science] Correct Hardware Design and Verification Methods Volume 3725 || Formal Verification of Synchronizers

✍ Borrione, Dominique; Paul, Wolfgang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 141 KB

[Lecture Notes in Computer Science] Corr

[Lecture Notes in Computer Science] Correct Hardware Design and Verification Methods Volume 3725 || Formal Verification of Synchronizers

✍ Borrione, Dominique; Paul, Wolfgang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 141 KB

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbr?cken, Germany, in October 2005. The 21 revised full papers and 18 short papers presented together with 2 invi

[Lecture Notes in Computer Science] Web

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 7176 || Design of a BPEL Verification Tool

✍ Carbone, Marco; Petit, Jean-Marc 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 482 KB

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6416 || Modeling and Managing System Evolution

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

This Volume Contains The Conference Proceedings Of The 4th International S- Posium On Leveraging Applications Of Formal Methods, Veri?cation And Vali- Tion, Isola 2010, Which Was Held In Greece (heraklion, Crete) October 18–21, 2010, And Sponsored By Easst. Following The Tradition Of Its Forerunners