Showing 1 - 1 results of 1 for search 'Jonsson, Bengt, 1957-', query time: 0.01s
Refine Results
-
1
Formal techniques in real-time and fault-tolerant systems /
Published 1996Other Authors: “…Jonsson, Bengt, 1957-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Control structure reliability, testing and fault tolerance-Harware
Lenguajes de programación
Organización y diseño
Organization and design
Procesadores-Arquitectura
Processor Architectures
Programas-Especificación
Programas-Verificación
Programming languages
Programs-Specification
Programs-Verification
Real-time systems
Reliability, testing and fault tolerance-Memory
Reliability-Operating systems