Rechercher dans
Nos Events & Actus
Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués
Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués
Université Ibn Khaldoun
Date de soutenance: 29-09-2006
