𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Engi
✍ 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