Formal techniques in real-time and fault-tolerant systems
Auteur :
Vytopil, Jan
ISBN :
9780792393320
Date de publication :
1 avr. 1993
Dimensions :
23,5 x 15,5 x 1,4 cm
Poids :
498 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Focuses on the formal specification, development and verification of fault-tolerant computing systems. This book defines the basic notions and practices of the field of design and specification of fault-tolerant systems. It contains examples of the use of formal methods in specification and development of fault-tolerant systems.