Modélisation et vérification modulaires de lignes de produits logiciels temps réel.

Projet: Projet de thèse

Description

{description_courte}
L'acronymeThesis-M-Cordy
statutFini
Les dates de début/date réelle1/10/1130/09/15