✦ LIBER ✦

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

✍ Scribed by Giese, Holger; Karsai, Gabor; Lee, Edward; Rumpe, Bernhard; Schätz, Bernhard

Book ID: 120005341
Publisher: Springer Berlin Heidelberg
Year: 2010
Weight: 324 KB
Category: Article
ISBN: 3642162770
DOI: 10.1007/978-3-642-16277-0_4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Driven Engineering Languages and Systems Volume 6981 || Semantic Clone Detection for Model-Based Development of Embedded Systems

✍ Whittle, Jon; Clark, Tony; Kühne, Thomas 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 478 KB

This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications t

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Component-Based Software Engineering Volume 6092 || Comparison of Component Frameworks for Real-Time Embedded Systems

✍ Grunske, Lars; Reussner, Ralf; Plasil, Frantisek 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 185 KB

[Lecture Notes in Computer Science] Embe

[Lecture Notes in Computer Science] Embedded Computer Systems: Architectures, Modeling, and Simulation Volume 5114 || A Real-Time Programming Model for Heterogeneous MPSoCs

✍ Bereković, Mladen; Dimopoulos, Nikitas; Wong, Stephan 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 298 KB

[Lecture Notes in Computer Science] ≪UML

[Lecture Notes in Computer Science] ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools Volume 2185 || Scenario-Based Monitoring and Testing of Real-Time UML Models

✍ Gogolla, Martin; Kobryn, Cris 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 260 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 6117 || Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

✍ Hatcliff, John; Zucca, Elena 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 217 KB

This Book Constitutes The Refereed Proceedings Of The 12th Ifip Wg 6.1 International Conference On Formal Methods For Open Object-based Distributed Systems, Fmoods 2010, And The 30th Ifip Wg 6.1 Formal Techniques For Networked And Distributed Systems, Forte 2010, Held In Amsterdam, The Netherlands,