✦ 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
DOI: 10.1007/978-3-642-31491-9_26

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6957 || Automated Verification of Executable UML Models

✍ Aichernig, Bernhard K.; Boer, Frank S.; Bonsangue, Marcello M. 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 545 KB

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Modelling Foundations and Applications Volume 7349 || Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings

✍ 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

[Lecture Notes in Computer Science] Dist

[Lecture Notes in Computer Science] Distributed Computing and Networking Volume 7129 || Application of Automated Revision for UML Models: A Case Study

✍ Bononi, Luciano; Datta, Ajoy K.; Devismes, Stéphane; Misra, Archan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 470 KB

[Lecture Notes in Computer Science] Adva

[Lecture Notes in Computer Science] Advances in Conceptual Modeling – Foundations and Applications Volume 4802 || A UML Profile for Modeling Data Warehouse Usage

✍ Hainaut, Jean-Luc; Rundensteiner, Elke A.; Kirchberg, Markus; Bertolotto, Michel 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 587 KB

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model-Based Engineering of Embedded Real-Time Systems Volume 6100 || 4 Semantics of UML Models for Dynamic Behavior

✍ Giese, Holger; Karsai, Gabor; Lee, Edward; Rumpe, Bernhard; Schätz, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 324 KB

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model-Based Engineering of Embedded Real-Time Systems Volume 6100 || 8 UML for Software Safety and Certification

✍ Giese, Holger; Karsai, Gabor; Lee, Edward; Rumpe, Bernhard; Schätz, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 615 KB