TY  - BOOK
AU  - Merz,Stephan
AU  - Navet,Nicolas
TI  - Modeling and verification of real-time systems: formalisms and software tools 
SN  - 9781848210134
PY  - 2008///
CY  - London
PB  - ISTE
KW  - Real-time data processing
KW  - Computer software
KW  - Verification
KW  - Formal methods (Computer science)
ER  -