Centre d'études et de recherche en informatique du CNAM (CEDRIC)
Formulaire d'enregistrement de thèse / Amel Mammar 2002
Scénarios formels basés sur des règles pour la conception de véhicules autonomes sûrs
/ Joelle Abou Faysal ; sous la direction de Frédéric Mallet. Thèse de doctorat : Informatique
: Université Côte d'Azur : 2022
Information trouvée : président du jury, rapporteure de thèse
Un environnement formel pour le développement d'applications bases de données / Amel
Mammar CNAM 2002