Formal methods for industrial critical systems: a survey of applications
Auteur :
Gnesi, Stefania / Margaria, Tiziana
Éditeur :
John Wiley & Sons Inc
ISBN :
9780470876183
Date de publication :
12 mars 2013
Dimensions :
23,5 x 15,4 x 1,9 cm
Poids :
504 g
Langue :
Anglais
Pays d'origine :
USA
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems.