Cover of: Formal techniques in real-time and fault-tolerant systems | Read Online
Share

Formal techniques in real-time and fault-tolerant systems

  • 741 Want to read
  • ·
  • 59 Currently reading

Published by Kluwer Academic Publishers in Boston .
Written in English

Subjects:

  • Real-time data processing,
  • Fault-tolerant computing

Book details:

Edition Notes

Includes bibliographical references and index.

Statementedited by Jan Vytopil.
SeriesKluwer international series in engineering and computer science ;, SECS 221., Real-time systems, Kluwer international series in engineering and computer science ;, SECS 221., Kluwer international series in engineering and computer science.
ContributionsVytopil, J. 1947-
Classifications
LC ClassificationsQA76.54 .F65 1993
The Physical Object
Paginationxi, 208 p. :
Number of Pages208
ID Numbers
Open LibraryOL1408147M
ISBN 100792393325
LC Control Number93016676

Download Formal techniques in real-time and fault-tolerant systems

PDF EPUB FB2 MOBI RTF

Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term `fault-tolerance' refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT , Co-sponsored by IFIP WG , Oldenburg, Germany, (Lecture Notes in Computer Science) [Werner Damm, Ernst-Rüdiger Olderog] on larep-immo.com *FREE* shipping on qualifying offers. This volume contains the proceedings of FTRTFT , the International S- posium on Formal Techniques . Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term fault-tolerance' refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and.

This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT , held in Pune, India in September The 21 revised full papers presented together with three invited contributions were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Reviews: 1. Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. Rating: (not yet rated) 0 with reviews - Be the first. This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Description: This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT , held in Pune, India in September The 21 revised full papers presented together with three invited contributions were carefully reviewed and selected from numerous.

This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on September The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical larep-immo.com: $ Jun 29,  · Read Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International SymposiumRead Book PDF Online Here larep-immo.com?book=Read Formal. systems, including sound methods for specification, verification and refinement of fault-tolerant, real-time and concurrent systems, and formal techniques for OO development. His teaching interests are Communication and Concurrency, Concurrent and Distributed Programming, Internet Security, Software. Feb 17,  · PDF [FREE] DOWNLOAD Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. ) TRIAL EBOOKClick here http://ebooklibrary.