| Type |  Book |
| ชื่อเรื่อง | Modeling, verification and exploration of task-level concurrency in real-time embedded systems / edited by Filip Thoen, Francky Catthoor |
| ผู้แต่ง | Thoen, Filip 1968- |
| ISBN | 0792377370 |
| | 9780792377375 7075 |
| พิมพลักษณ์ | Boston, Mass. : Kluwer Academic Publishers, c2000 |
| รูปเล่ม | xv, 438 p. : ill |
| หัวเรื่อง | Embedded computer systems |
| | Real-time data processing |