Composition of Embedded Systems. Scientific and Industrial Issues
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 On the Correctness of Model Transformations in the Development of Embedded Systems
-
Altmetric BadgeChapter 2 Supporting System Level Design of Distributed Real Time Systems for Automotive Applications
-
Altmetric BadgeChapter 3 From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain
-
Altmetric BadgeChapter 4 Model-Based Failure Management for Distributed Reactive Systems
-
Altmetric BadgeChapter 5 A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems
-
Altmetric BadgeChapter 6 Industrial Challenges in the Composition of Embedded Systems
-
Altmetric BadgeChapter 7 Deep Random Search for Efficient Model Checking of Timed Automata
-
Altmetric BadgeChapter 8 OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks
-
Altmetric BadgeChapter 9 Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward
-
Altmetric BadgeChapter 10 Recent Additions on the Application Programming Interface of the TMO Support Middleware
-
Altmetric BadgeChapter 11 Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol
-
Altmetric BadgeChapter 12 Reliability Properties of Models for Flexible Design and Run-Time Analysis