La 18ème édition du workshop international "Formal Methods for Industrial Critical Systems" (FMICS 2013) se déroule les 23 et 24 septembre à Madrid, en Espagne.
Renaud De Landtsheer, Ingénieur de Recherche Senior au CETIC, présente les résultats du projet DEPLOY au workshop FMICS 2013, via la publication Manager Guidelines for the Industrial Deployment of Formal Methods. L’intervention portera sur des techniques de guidances de managers pour l’adoption et le déploiement de méthodes formelles de conception de logiciels critiques. Il s’appuiera sur [l’outil déployé en ligne par le CETIC] développé à cette fin.
Informations complémentaires disponibles sur le site de l’événement.