Hessa Alfraihi
Faculty of Exact Sciences
Model-Driven Software Engineering Techniques · Safety Systems Engineering in Autonomy · Formal Methods in Verification
1
outputs
Research laboratory · LAB-E0762200
Artificial Intelligence and its Applications Laboratory
45
Researchers
109
Research output
21 results