Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach

Steve Jeffrey Tueno Fotso, Marc Frappier, RĂ©gine Laleau, Amel Mammar. Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. STTT, 22(3):349-363, 2020. [doi]

Abstract

Abstract is missing.