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

Saved in:

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) Computer software.
Online Access:	Online Access Online Access Notre Dame Online Access

Internet

Online Access
Online Access
Notre Dame Online Access

Holdings details from Annex
Call Number:	QA 76.54 .M635 2008
	Available Request Request a scan of an article or book chapter