Modeling and verification of real-time systems
Subtitle: formalisms and software tools
By: edited by Nicolas Navet, Stephan Merz.
Contributors: Navet, Nicolas.; Merz, Stephan.
Publisher: ISTE/John Wiley
Published: 2008
Place of publication: Hoboken, NJ
Language: eng
ISBN-13: 9781848210134
Subjects: Real-time data processing; Computer software -- Verification; Formal methods (Computer science)
Notes: Includes bibliographical references and index.