✦ LIBER ✦

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

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

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

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 || 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] 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] Real

[Lecture Notes in Computer Science] Real-Time and Embedded Computing Systems and Applications Volume 2968 || Software Platform for Embedded Software Development

✍ Chen, Jing; Hong, Seongsoo 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 340 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 3688 || Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems

✍ Winther, Rune; Gran, Bjørn Axel; Dahll, Gustav 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 210 KB

This Book Constitutes The Refereed Proceedings Of The 24th International Conference On Computer Safety, Reliability, And Security, Safecomp 2005, Held In Fredrikstad, Norway, In September 2005. The 30 Revised Full Papers Were Carefully Reviewed And Selected For Inclusion In The Book. The Papers Addr

[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] 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