Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Volume 10817 of Lecture Notes in Computer Science, pages 262-276, Springer, 2018. [doi]

This author has not been identified. Look up 'Steve Jeffrey Tueno Fotso' in GoogleThis author has not been identified. Look up 'Marc Frappier' in GoogleThis author has not been identified. Look up 'Régine Laleau' in GoogleThis author has not been identified. Look up 'Amel Mammar' in Google

runs on WebDSL