Modeling and verification of real-time systems : formalisms and software tools /
Merz, Stephan.
Navet, Nicolas.
London : ISTE ; Hoboken, N.J. : Wiley,
2008.
Includes bibliographical references and index.
Real-time data processing.
Computer software
Formal methods (Computer science)