Hessa Alfraihi
Faculté des Sciences Exactes
Model-Driven Software Engineering Techniques · Safety Systems Engineering in Autonomy · Formal Methods in Verification
1
productions
Laboratoire de recherche · LAB-E0762200
Laboratoire d'Intelligence Artificielle et ses Applications
45
Chercheurs
109
Productions
21 résultats