Articles matching “Benaini”

1. Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Redouane Benaini, Modelling and Formal Verification of Safety-Critical Interactive System Using Capella and Event-B, pp. 2:7-36, PDF, DOI. Volume 25, no. 2 ( 2026)