Result: Modeling and verification of real-time systems
Title:
Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz and Nicolas Navet
Contributors:
Published:
Hoboken, NJ : Wiley, 2008London : ISTE, 2008
Description:
393 Seiten : Diagramme
Format:
Language:
English
Subjects:
ISBN:
1848210132 ; 9781848210134