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 -