Formal methods applied to industrial complex systems
Éditeur :
ISTE Ltd and John Wiley & Sons Inc
ISBN :
9781848216327
Date de publication :
1 juil. 2014
Dimensions :
24,1 x 16,3 x 3,1 cm
Poids :
853 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc.