Identifiant pérenne de la notice : 234015179
Notice de type
Personne
Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation
fonctionnelle des systèmes embarqués / Slim Medimegh ; sous la direction de Frédéric
Boulanger. Thèse de doctorat : Informatique : Paris Saclay : 2018