Items related to Formal Techniques in Real-Time and Fault Tolerant Systems:...

Formal Techniques in Real-Time and Fault Tolerant Systems: Proceedings of a Symposium Warwick, Uk, September 22-23, 1988 (Lecture Notes in Computer Science) - Softcover

 
9780387503028: Formal Techniques in Real-Time and Fault Tolerant Systems: Proceedings of a Symposium Warwick, Uk, September 22-23, 1988 (Lecture Notes in Computer Science)

This specific ISBN edition is currently not available.

Synopsis

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 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.

"synopsis" may belong to another edition of this title.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540503026: Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988: 331 (Lecture Notes in Computer Science, 331)

Featured Edition

ISBN 10:  3540503021 ISBN 13:  9783540503026
Publisher: Springer, 1988
Softcover