Composition of Embedded Systems. Scientific and Industrial Issues  13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /  [electronic resource] : 
edited by Fabrice Kordon, Oleg Sokolsky. 
 - 1st ed. 2008. 
 - XII, 221 p.  online resource. 
 - Programming and Software Engineering,  4888  2945-9168 ; .
 - Programming and Software Engineering,  4888 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540774198 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-77419-8  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer science.<br/>Computer programming.<br/>Compilers (Computer programs).<br/>Software Engineering.<br/>Theory of Computation.<br/>Programming Techniques.<br/>Compilers and Interpreters.<br/>Computer Science Logic and Foundations of Programming.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1