| Type |  Book |
| ชื่อเรื่อง | Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet |
| ISBN | 1848210132 |
| | 9781848210134 |
| พิมพลักษณ์ | Hoboken, NJ : John Wiley, 2008 |
| รูปเล่ม | 393 p. : ill. ; 25 cm |
| ลิงค์ | Contents. |
| หัวเรื่อง | Computer software |
| | Computer software --Verification [] |
| | Formal methods (Computer science) |
| | Real-time data processing |