✦ LIBER ✦

[Lecture Notes in Computer Science] Model Checking Software Volume 2989 || Validation of UML Models via a Mapping to Communicating Extended Timed Automata

✍ Scribed by Graf, Susanne; Mounier, Laurent

Book ID: 121349024
Publisher: Springer Berlin Heidelberg
Year: 2004
Weight: 267 KB
Category: Article
ISBN: 3540247327
DOI: 10.1007/978-3-540-24732-6_9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Foun

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

✍ Seidl, Helmut 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 318 KB

[Lecture Notes in Computer Science] Engi

[Lecture Notes in Computer Science] Engineering Secure Software and Systems Volume 6542 || Security Validation of Business Processes via Model-Checking

✍ Erlingsson, Úlfar; Wieringa, Roel; Zannone, Nicola 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 381 KB

This book constitutes the refereed proceedings of the Third International Symposium on Engineering Secure Software and Systems, ESSoS 2011, held in Madrid, Italy, in February 2011. The 18 revised full papers presented together with 3 idea papers were carefully reviewed and selected from 63 submissio