![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
13th Monterey Workshop 2006: Paris, France
- Fabrice Kordon, Oleg Sokolsky
:
Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4888, Springer 2007, ISBN 978-3-540-77418-1
Model Driven Development and Embedded Systems
- Gabor Karsai, Anantha Narayanan:
On the Correctness of Model Transformations in the Development of Embedded Systems. 1-18 - Klaus D. Müller-Glaser, Clemens Reichmann, Markus Kühl:
Supporting System Level Design of Distributed Real Time Systems for Automotive Applications. 19-34 - Jérôme Hugues, Laurent Pautet, Bechir Zalila
:
From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain. 35-52 - Vina Ermagan, Ingolf Krüger, Massimiliano Menarini:
Model-Based Failure Management for Distributed Reactive Systems. 53-74
Software Engineering for Embedded Systems
- Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis:
A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. 75-96 - David Corman, James L. Paunicka:
Industrial Challenges in the Composition of Embedded Systems. 97-110 - Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis:
Deep Random Search for Efficient Model Checking of Timed Automata. 111-124 - Xenofon D. Koutsoukos, Manish Kushwaha, Isaac Amundson, Sandeep Neema, Janos Sztipanovits:
OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks. 125-149
Composition Technologies
- Richard E. Schantz, Joseph P. Loyall:
Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward. 150-167 - K. H. (Kane) Kim, Juan A. Colmenares, Liangchen Zheng, Sheng Liu, Qian Zhou, Moon-Cheol Kim:
Recent Additions on the Application Programming Interface of the TMO Support Middleware. 168-186 - Roman Obermaisser:
Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol. 187-206 - Luqi, Valdis Berzins, Peter M. Musial:
Reliability Properties of Models for Flexible Design and Run-Time Analysis. 207-219
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.