Critical systems: formal methods and automated verification: joint 21st international workshop on formal methods for industrial critical systems and 16th international workshop on automated verification of critical systems, fmics-avocs 2016, pisa, italy, september 26-28, 2016, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319459424
Date de publication :
14 sept. 2016
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse