Modèle générique pour la vérification de modèles de lignes de produits / Raúl Mazo
Peña, 2011
Modélisation et analyse formelle de modèles système pour les menaces persistantes
avancées / Tithnara Nicolas Sun ; sous la direction de Raúl Mazo Peña. Thèse de doctorat
: Informatique : Brest, École nationale supérieure de techniques avancées Bretagne
: 2022
Information trouvée : en poste : ENSTA Bretagne