TY  - BOOK
AU  - 
AU  - 
ED  - SpringerLink (Online service)
TI  - Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783540774198
AV  - QA76.758 
U1  - 005.1 23
PY  - 2008///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Software engineering
KW  - Information theory
KW  - Logic design
KW  - Computer Science
KW  - Software Engineering/Programming and Operating Systems
KW  - Theory of Computation
KW  - Software Engineering
KW  - Programming Techniques
KW  - Programming Languages, Compilers, Interpreters
KW  - Logics and Meanings of Programs
N1  - Model Driven Development and Embedded Systems -- On the Correctness of Model Transformations in the Development of Embedded Systems -- Supporting System Level Design of Distributed Real Time Systems for Automotive Applications -- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain -- Model-Based Failure Management for Distributed Reactive Systems -- Software Engineering for Embedded Systems -- A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems -- Industrial Challenges in the Composition of Embedded Systems -- Deep Random Search for Efficient Model Checking of Timed Automata -- OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks -- Composition Technologies -- Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward -- Recent Additions on the Application Programming Interface of the TMO Support Middleware -- Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol -- Reliability Properties of Models for Flexible Design and Run-Time Analysis; ZDB-2-SCS; ZDB-2-LNC
UR  - http://dx.doi.org/10.1007/978-3-540-77419-8
ER  -