Formal techniques in real-time and fault-tolerant systems /
edited by Bengt Jonsson, Joachim Parrow.
- Berlin : Springer, 1996.
- x, 478 p. : il. ; 24 cm.
- Lecture notes in computer science ; v. 1135 LNCS ; v. 1135 .
3540616489
Lenguajes de programación. Programming languages. Organización y diseño. Organization and design. Programas-Especificación. Programs-Specification. Programas-Verificación. Programs-Verification. Procesadores-Arquitectura. Processor Architectures. Real-time systems. Reliability, testing and fault tolerance-Memory. Control structure reliability, testing and fault tolerance-Harware. Reliability-Operating systems.