Formal methods for real-time computing / edited by Constance Heitmeyer and Dino Mandrioli.
Contributor(s): Heitmeyer, Constance L
| Mandrioli, Dino.
Material type: 
BookSeries: Trends in software ; 5.Publisher: Chichester : John Wiley, c1996Description: xvii, 271 p. : ill. ; 24 cm.ISBN: 0471958352 .Subject(s): Real-time data processingDDC classification: 005.2 | Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| General lending | MTU Bishopstown Library Lending | 005.2 (Browse shelf(Opens below)) | 1 | Available | 00015519 |
Browsing MTU Bishopstown Library shelves, Shelving location: Lending Close shelf browser (Hides shelf browser)
Enhanced descriptions from Syndetics:
Focusing on formal methods, this book offers a complete coverage of new developments with emphasis on practical application. Starting with a survey of formal methods for real-time systems, topics include program specification, formal methods, analyzing, and design of real-time systems. The book is essential reading for developers of safety critical systems and researchers in the field.
Includes bibliographical references and index.
Formal Methods for Real-Time Computing: An Overview / C. Heitmeyer and D. Mandrioli -- Specification and Analysis of Real-Time Systems: Modechart language and toolset / A.K. Mok, D. A. Stuart and F. Jahanian -- Automata-theoretic verification of real-time systems / R. Alur and D. L. Dill -- Formal verification of real-time systems using timed automata / C. Heitmeyer and N. Lynch -- Refining system requirements to program specifications / E-R. Olderog, A. P. Ravn and J. U. Skakkeboek -- A Petri Net and Logic approach to the specification and verification of real-time systems / D. Mandrioli, A. Morzenti, M. Pezze, P. San Pietro and S. Silva -- A process algebraic method for the specification and analysis of real-time systems / I. Lee, H. Ben-Abdallah and J.-Y. Choi -- Constraint-Oriented Specification style for time-dependent behaviours / T. Bolognesi -- Analysis of real-time systems using symbolic techniques / S. Campos, E. Clarke and M. Minea -- End-to-End design of real-time systems / R. Gerber, D-I Kang, S. Hong and M. Saksena.