Proceedings of the 6th International Symposium, FTRTFT 2000, Formal Techniques in Real-Time and Fault Tolerant Systems, held in Pune, India, September 20-22, 2000. A variety of topics were discussed, including model checking, fault tolerance, scheduling, and verification. Softcover.

Скачать книгу бесплатно (pdf, 2.81 Mb)

---

Читать «Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000. Proceedings »