TY  - BOOK
AU  - Jonsson,Bengt
AU  - Parrow,Joachim
ED  - International Symposium on Formal Techniques in Rreal-Time and Fault-Tolerant Systems 
TI  - Formal techniques in real-time and fault-tolerant systems / 
T2  - Lecture notes in computer science ; 
SN  - 3540616489
PY  - 1996///
CY  - Berlin : 
PB  - Springer, 
KW  - Lenguajes de programación
KW  - Programming languages
KW  - Organización y diseño
KW  - Organization and design
KW  - Programas-Especificación
KW  - Programs-Specification
KW  - Programas-Verificación
KW  - Programs-Verification
KW  - Procesadores-Arquitectura
KW  - Processor Architectures
KW  - Real-time systems
KW  - Reliability, testing and fault tolerance-Memory
KW  - Control structure reliability, testing and fault tolerance-Harware
KW  - Reliability-Operating systems
ER  -