des années 80 pour faciliter la
modélisation et spécification des systèmes complexes [2]. La sémantique formelle d'exécution... permettra de développer des compétences transverses de spécifications,
modélisation et vérification de systèmes complexes (ex... -
Voir cette offre d'emploi