Cover Image

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

Show other versions (1)
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
Description
Physical Description:393 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:9781848210134
1848210132