Formal techniques in real-time and fault-tolerant systems
International Symposium on Formal Techniques in Rreal-Time and Fault-Tolerant Systems 1996 : Uppsala, Sweden)
creator
Jonsson, Bengt
1957-
ed.,
Parrow, Joachim
1956-
ed.,
text
gw|
Berlin
Springer
1996
monographic
ng
x, 478 p. : il. ; 24 cm.
edited by Bengt Jonsson, Joachim Parrow.
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
Lecture notes in computer science ; v. 1135
LNCS ; v. 1135
3540616489
AR_CdUFM
110517
20160908123312.0