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

Bibliographic Details
Other Authors:	Navet, Nicolas, Merz, Stephan
Format:	Book
Language:	English
Published:	London : Hoboken, NJ : ISTE ; John Wiley, 2008.
Subjects:	Real-time data processing. Computer software > Verification. Formal methods (Computer science)
Online Access:	Contributor biographical information Publisher description Table of contents only

Published 2008

Connect to the full text of this electronic book

eBook