Author

Jan Vytopil

2 books found

Cover of Formal techniques in real-time and fault-tolerant systems

Formal techniques in real-time and fault-tolerant systems

Hans Langmaack, Willem-Paul de Roever, Jan Vytopil · First published 1994

Cover of Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

Jan Vytopil · First published 1991 · Latest edition 1993