Login / Signup
Ismail Mendil
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Neural Network
Statistical Models
Metadata
Analytical Methods
Top Venues
APSEC
</>
Publications
</>
Ismail Mendil
,
Peter Riviere
,
Yamine Aït Ameur
,
Neeraj Kumar Singh
,
Dominique Méry
,
Philippe A. Palanque
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours.
APSEC
(2022)