Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, Uk, September 22-23, 1988 by

Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, Uk, September 22-23, 1988

232 pages paperback

7 editions

nonfiction computer science health science medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

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 differen...

Show More

Community Reviews

Loading...

Content Warnings

Loading...