Fatima Haloua
Faculty of Exact Sciences
Model-Driven Software Engineering Techniques · Logic, programming, and type systems · Formal Methods in Verification · Safety Systems Engineering in Autonomy · Access Control and Trust
3
outputs
Research laboratory · LAB-E0762200
Artificial Intelligence and its Applications Laboratory
45
Researchers
109
Research output
22 results
Hessa Alfraihi
Faculty of Exact Sciences
Model-Driven Software Engineering Techniques · Safety Systems Engineering in Autonomy · Formal Methods in Verification
1
outputs