✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Model-Checking for Weighted Timed Automata

✍ Scribed by Lakhnech, Yassine; Yovine, Sergio

Book ID: 120569358
Publisher: Springer Berlin Heidelberg
Year: 2004
Weight: 249 KB
Category: Article
ISBN: 3540302069
DOI: 10.1007/978-3-540-30206-3_20

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Real-Time Testing with Timed Automata Testers and Coverage Criteria

✍ Lakhnech, Yassine; Yovine, Sergio 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 274 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 6246 || Layered Composition for Timed Automata

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 262 KB

[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] Form

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 6246 || Simulation and Bisimulation for Probabilistic Timed Automata

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 277 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 6246 || From Mtl to Deterministic Timed Automata

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 320 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 6246 || A Conformance Testing Relation for Symbolic Timed Automata

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 280 KB