Modeling, verification and exploration of task-level concurrency in real-time embedded systems

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	English
Veröffentlicht:	Boston [u.a.] Kluwer 2000
Schlagworte:	Eingebettetes System Echtzeitsystem
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems von Thoen, Filip, Catthoor, Francky

Veröffentlicht 2000

UBY01
URL des Eerstveröffentlichers

Elektronisch E-Book