Jan Vytopil Books
Formal Techniques in Real Time and Fault Tolerant Systems
By Jan Vytopil
Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term `fault-...
Read MoreFormal Techniques in Real-Time and Fault-Tolerant Systems
By Jan Vytopil
Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term `fault-...
Read More