Login / Signup
Yannis Benabbi
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Main Contribution
Formal Verification
Intelligent Systems
Top Venues
ABZ
</>
Publications
</>
Yannis Benabbi
A Framework for Formal Verification and Validation of Railway Systems.
ABZ
(2023)