Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

system is a complex object containing a significant percentage of elec­ A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e. , is characterized by the co-existence of a large number of components o...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Thoen, Filip (VerfasserIn), Catthoor, Francky (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	New York, NY Springer US 2000
Ausgabe:	1st ed. 2000
Schlagworte:	Computer-Aided Engineering (CAD, CAE) and Design Special Purpose and Application-Based Systems Electrical Engineering Computer-aided engineering Special purpose computers Electrical engineering Echtzeitsystem Eingebettetes System
Online-Zugang:	DE-706 URL des Eerstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!