Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System. - Amine Hamidi; Simon Collart Dutilleul; Philippe Bon (CRiSIS, 2023)

A railway norms application for small traffic railway lines autonomous vehicle. - Simon Collart Dutilleul; Philippe Bon; Amine Hamidi (ICCAD, 2023)