Formal Techniques in Real-Time and Fault-Tolerant Systems - Bengt Jonsson - książka historyczna wyd. 1996

Opis

"Formal Techniques in Real-Time and Fault-Tolerant Systems" to książka wydana przez Springer, która koncentruje się na metodach formalnych stosowanych w projektowaniu, specyfikacji i weryfikacji systemów odpornych na błędy oraz działających w czasie rzeczywistym. Publikacja omawia różnice między konwencjonalnymi systemami a tymi, które muszą radzić sobie z awariami, analizując modele niezawodności i techniki tolerancji błędów