This book presents latest research results on problems and solutions in safety-critical system design. Logic, process algebra, and action/event models are applied to specification, modeling, analysis and verification of real-time and fault-tolerant systems.
Read More
This book presents latest research results on problems and solutions in safety-critical system design. Logic, process algebra, and action/event models are applied to specification, modeling, analysis and verification of real-time and fault-tolerant systems.
Read Less
Add this copy of Formal Techniques in Real-Time and Fault-Tolerant to cart. $27.75, very good condition, Sold by GuthrieBooks rated 4.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 1991 by Springer.
Add this copy of Formal Techniques in Real-Time and Fault-Tolerant to cart. $64.58, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1991 by Springer.
Add this copy of Formal Techniques in Real-Time and Fault-Tolerant to cart. $85.12, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1992 by Springer Verlag.
Add this copy of Formal Techniques in Real-Time and Fault-Tolerant to cart. $103.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1991 by Springer.
Add this copy of Formal Techniques in Real-Time and Fault-Tolerant to cart. $131.15, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1991 by Springer.
All Editions of Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings
