Modeling, verification, and exploration of task-level concurrency in real-time embedded systems
By: edited by [sic] Filip Thoen and Francky Catthoor.
Contributors: Catthoor, Francky.
Publisher: Kluwer Academic Publishers
Published: 2000
Place of publication: Boston, Mass
Language: eng
Number of pages: 438
Subjects: Embedded computer systems.; Real-time data processing.; Embedded computer systems.; Real-time data processing.
Other titles: Modeling, verification and exploration of task-level concurrency in real-time embedded systems.
Notes: Includes bibliographical references (p. 413-433) and index.