Formal Techniques in Real-Time and Fault-Tolerant Systems - Mathai Joseph - książka wyd. 2000
20,16 zł 28,00 zł
tezeusz.pl Zobacz w sklepie Opis
"Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium" to zbiór materiałów konferencyjnych z wydarzenia, które odbyło się w Pune, India, w dniach 20-22 września 2000 roku. Publikacja zawiera prace dotyczące metod formalnych stosowanych w systemach czasu rzeczywistego oraz odpornych na błędy. Omawia zagadnienia związane z automatyzacją, weryfikacją modeli, tolerancją błędów oraz harmonogramowaniem w systemach krytycznych