Amine Hamidi

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Software Modules

Top Venues

Publications

Simon Collart Dutilleul, Philippe Bon, Amine Hamidi
A railway norms application for small traffic railway lines autonomous vehicle. ICCAD (2023)
Amine Hamidi, Simon Collart Dutilleul, Philippe Bon
Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System. CRiSIS (2023)