Springer
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings
Product Code:
9783540550921
ISBN13:
9783540550921
Condition:
New
$118.37
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings
$118.37
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.
| Author: Jan Vytopil |
| Publisher: Springer |
| Publication Date: Dec 11, 1991 |
| Number of Pages: 628 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540550925 |
| ISBN-13: 9783540550921 |
Related Products
