Research Catalog
Modeling, verification, and exploration of task-level concurrency of real-time embedded systems
- Title
- Modeling, verification, and exploration of task-level concurrency of real-time embedded systems / edited by [sic] Filip Thoen and Francky Catthoor.
- Author
- Thoen, Filip, 1968-
- Publication
- Boston, Mass. : Kluwer Academic Publishers, c2000.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 00-1915 | Offsite |
Details
- Additional Authors
- Catthoor, Francky.
- Description
- xv, 438 p. : ill.; 24 cm.
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. 413-433) and index.
- Call Number
- JSE 00-1915
- ISBN
- 0792377370 (hc. : alk. paper)
- LCCN
- 99056954
- OCLC
- vendor
- Author
- Thoen, Filip, 1968-
- Title
- Modeling, verification, and exploration of task-level concurrency of real-time embedded systems / edited by [sic] Filip Thoen and Francky Catthoor.
- Imprint
- Boston, Mass. : Kluwer Academic Publishers, c2000.
- Bibliography
- Includes bibliographical references (p. 413-433) and index.
- Added Author
- Catthoor, Francky.
- Research Call Number
- JSE 00-1915