✦ LIBER ✦

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 4423 || Model-Checking One-Clock Priced Timed Automata

✍ Scribed by Seidl, Helmut

Book ID: 120569360
Publisher: Springer Berlin Heidelberg
Year: 2007
Weight: 318 KB
Category: Article
ISBN: 3540713891
DOI: 10.1007/978-3-540-71389-0_9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7940 || Priced Timed Automata and Statistical Model Checking

✍ Johnsen, Einar Broch; Petre, Luigia 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 137 KB

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. T

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 5504 || Minimal Cost Reachability/Coverability in Priced Timed Petri Nets

✍ de Alfaro, Luca 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 301 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Technology and Theoretical Computer Science Volume 1346 || Model checking

✍ Ramesh, S.; Sivakumar, G 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 190 KB

This Book Constitutes The Refereed Proceedings Of The 17th International Conference On Foundations Of Software Technology And Theoretical Computer Science, Fsttcs'97. The 18 Revised Full Papers Presented Were Selected From A Total Of 68 Submissions. Also Included Are Five Invited Papers By Ed Clarke

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Checking Software Volume 2318 || Model Checking Knowledge and Time

✍ Bošnački, Dragan; Leue, Stefan 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 292 KB

The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montr´

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 6014 || Model Checking Is Static Analysis of Modal Logic

✍ Ong, Luke 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 301 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 7794 || Reachability of Communicating Timed Processes

✍ Pfenning, Frank 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 275 KB