Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings

By Jan Vytopil

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.

• Format: Paperback
• Language: English
• ISBN: 3540550925
• ISBN13: 9783540550921
• Release Date: December 1991
• Publisher: Springer
• Length: 628 Pages
• Weight: 1.95 lbs.
• Dimensions: 1.3" x 6.1" x 9.2"