Login / Signup
Amina Bouabsa
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Formal Verification
Neural Network
Model Checker
Top Venues
Int. J. Softw. Innov.
</>
Publications
</>
Said Meghzili
,
Allaoua Chaoui
,
Raida Elmansouri
,
Bardis Nadjla Alloui
,
Amina Bouabsa
Formal Verification and Implementation of an E-Voting System.
Int. J. Softw. Innov.
10 (1) (2022)