Formal Methods for Industrial Critical Systems, 2014 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings Programming and Software Engineering Series
Coordonnateurs : Lang Frédéric, Flammini Francesco
![Couverture de l’ouvrage Formal Methods for Industrial Critical Systems](https://images.lavoisier.fr/couvertures/1316610103.jpg)
Date de parution : 08-2014
Ouvrage de 201 p.
15.5x23.5 cm
Thème de Formal Methods for Industrial Critical Systems :
Mots-clés :
cyber-physical systems; distributed systems; embedded systems; formal methods; industrial applications; model checking; real-time systems; scalability; software development; software functional properties; software tools; software verification and validation; usability; validation; verification