Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 / edited by Mathai Joseph.
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. Imp...
Full description
Saved in: