Rule-Based Consistency Checking of Railway Infrastructure Designs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bjørnar Luteberget, Christian Johansen, Martin Steffen. Rule-Based Consistency Checking of Railway Infrastructure Designs. In Erika Ábrahám, Marieke Huisman, editors, Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Volume 9681 of Lecture Notes in Computer Science, pages 491-507, Springer, 2016. [doi]

This author has not been identified. Look up 'Bjørnar Luteberget' in GoogleThis author has not been identified. Look up 'Christian Johansen' in GoogleThis author has not been identified. Look up 'Martin Steffen' in Google

runs on WebDSL