Formal Techniques in Real-Time and Fault-Tolerant Systems

Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Author(s): Hans Langmaack,W.-P. de Roever,Working Group Provably Correct Systems
Read reviews
Loading Puzzle...
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?