Formal Techniques in Real-Time and Fault-Tolerant Systems
6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Mathai Joseph
Themen in »Formal Techniques in Real-Time and Fault-Tolerant Systems«
Automat Scheduling automata logic model checking real-time verification
Stimmen zu »Formal Techniques in Real-Time and Fault-Tolerant Systems«
Details
ISBN: 9783540410553
Verlag: Springer Berlin
Erscheinung: 06.09.2000