Formal techniques in real-time and fault-tolerant systems: second international symposium, nijmegen, the netherlands, january 8-10, 1992. proceedings: 2nd: proceedings of the second international symposium, nijmegen, the nnetherlands, january 8-10, 1992
Auteur :
Vytopil, Jan
ISBN :
9783540550921
Date de publication :
11 déc. 1991
Dimensions :
23,4 x 15,6 x 3,2 cm
Poids :
884 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Presents research results on problems and solutions in safety-critical system design. This work applies logic, process algebra, and action/event models to specification, modeling, analysis and verification of real-time and fault-tolerant systems.