Formal methods in systems engineering
Auteur :
Ryan, Peter
ISBN :
9783540197515
Date de publication :
16 juin 1993
Dimensions :
23,5 x 15,5 x 1,1 cm
Poids :
360 g
Format :
Trade paperback (UK)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains the proceedings of the Formal Methods Workshop, held in Drymen, Scotland, in September 1991. It concentrated on the themes of quality assurance, design methods and mathematical modelling techniques. Particular emphasis was given to safety and security applications.