Modeling and verification of real-time systems: formalisms and software tools

Saved in:  
Bibliographic Details
Contributors: Merz, Stephan (Editor) ; Navet, Nicolas (Other)
Format: Print Book
Language:English
Subito Delivery Service: Order now.
Check availability: HBZ Gateway
WorldCat: WorldCat
Fernleihe:Fernleihe für die Fachinformationsdienste
Published: London ISTE 2008
Hoboken, NJ Wiley 2008
In:Year: 2008
Standardized Subjects / Keyword chains:B Real-time control / Semantische Modellierung / Computer programs
Further subjects:B Real-time data processing
B Computer software Verification
B Formal methods (Computer science)
Online Access: Autorenbiografie (Verlag)
Inhaltsverzeichnis (Verlag)
Verlagsangaben (Verlag)