Custom cover image
Custom cover image

Composition of Embedded Systems. Scientific and Industrial Issues : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / edited by Fabrice Kordon, Oleg Sokolsky

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 4888Publisher: Berlin, Heidelberg : Springer, 2008Description: 1 Online-Ressource (XII, 221 S.) : Ill., graph. DarstISBN:
  • 9783540774198
Subject(s): Genre/Form: Additional physical formats: 9783540774181 | Druckausg.: Composition of Embedded Systems. Berlin : Springer, 2007. XII, 219 S.RVK: RVK: SS 4800LOC classification:
  • QA76.758
DOI: DOI: 10.1007/978-3-540-77419-8Online resources: Summary: 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.PPN: PPN: 1646363744Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SEB | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT