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.