Mathai Joseph (Editor) Books
Formal Techniques In Real-Time And Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings (Lecture Notes In Computer Science (1926))
By Mathai Joseph, FTRTFT 2000, Mathai Joseph (Editor)
The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity, and from...
Read More