Preface. Workshop Committee. 1. Formalisms for Embedded System Design. 2. Synthesis from Synchronous/Asynchronous Specification. 3. Partitioning and Load-Balancing. 4. Verification and Validation. 5. Design Environments. 6. Object Oriented Approaches.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.