Fatima, Haloua
12  results:
Search for persons X
?
1

Formal Modelling and Implementation of Clark-Wilson Securit..:

, In: 2024 6th International Conference on Pattern Analysis and Intelligent Systems (PAIS),
 
?
2

Development of Critical Systems with UML/OCL and FoCaLiZe:

, In: Advances in Model and Data Engineering in the Digitalization Era; Communications in Computer and Information Science,
 
?
 
?
 
1-12