Department · FES-09

Département d'Informatique

Researchers

250

Research output

3 results

Ammar Boucherit

Associate professor (A) — Faculty of Exact Sciences

Model-Driven Software Engineering Techniques · Formal Methods in Verification · Petri Nets in System Modeling · Digital Mental Health Interventions · Logic, programming, and type systems

outputs

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

outputs

Hessa Alfraihi

Faculty of Exact Sciences

Model-Driven Software Engineering Techniques · Safety Systems Engineering in Autonomy · Formal Methods in Verification

outputs