𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Modelling Foundations and Applications Volume 7349 || MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems

✍ Scribed by Vallecillo, Antonio; Tolvanen, Juha-Pekka; Kindler, Ekkart; Störrle, Harald; Kolovos, Dimitris


Book ID
120447431
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
316 KB
Category
Article
ISBN
3642314910

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Mode
✍ Vallecillo, Antonio; Tolvanen, Juha-Pekka; Kindler, Ekkart; Störrle, Harald; Kol 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 526 KB

This book constitutes the refereed proceedings of the 8th European Conference on Modelling Foundations and Applications, held in Kgs. Lyngby, Denmark, in July 2012. The 20 revised full foundations track papers and 10 revised full applications track papers presented were carefully reviewed and select