Patrimony
The Louis Bachelier Group's patrimony has been defined as all the publications produced by academic researchers thanks to Group funding (ILB, FdR, IEF, Labex) or via the use of EquipEx data (BEDOFIH, EUROFIDAI).
A reachability analysis for verification of safety properties of railway infrastructures.
Railway infrastructure, Statecharts
Two methods for modeling and verification of safety properties of railway infrastructures.
Comparative studies, ERTMS, European rail traffic management systems, Model based approach, Modeling and verifications, Railroad plant and structures, Railroad traffic control, Railroad transportation, Railroads, Rails, Railway infrastructure, Safety engineering, State machine, Verification Strategy