Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings
Springer
ISBN13:
9783540550921
$117.22
(No reviews yet)
Write a Review
Springer
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings
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
- 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
