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

Bibliographic Details

Main Author:	Thoen, Filip, 1968-
Other Authors:	Catthoor, Francky
Format:	Book
Language:	English
Published:	Boston, Mass. : Kluwer Academic Publishers, [2000]
Subjects:	Embedded computer systems. Real-time data processing.