Login / Signup
Fatima Haloua
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 2
Top Topics
Tool Support
Model Based Testing
Security Management
Metamodel
Top Venues
PAIS
MEDI Workshops
</>
Publications
</>
Fatima Haloua
,
Messaoud Abbas
,
Rachid Djerbi
,
Mohammed Mounir Bouhamed
Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe.
PAIS
(2024)
Messaoud Abbas
,
Fatima Haloua
,
Ammar Boucherit
Development of Critical Systems with UML/OCL and FoCaLiZe.
MEDI Workshops
(2021)