Formal techniques in real-time and fault-tolerant systems: third international symposium organized jointly with the working group provably correct systems - procos, lubeck, germany, september 19 - 23, 1994, proceedings: 3rd: international symposium organized jointly with the working group provably correct systems - procos, lubeck, germany, september 19-23, 1994 - proceedings
Auteur :
Langmaack, Hans
ISBN :
9783540584681
Date de publication :
7 sept. 1994
Dimensions :
23,3 x 15,5 x 4,0 cm
Poids :
1117 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume describes how formal techniques constitute the foundation for the design of real-time, fault-tolerant and hybrid systems. It explores their use throughout the entire engineering process, from specification and design through coding and computation to the hardware itself.