Tag: RailML
-
Best Paper Award for Railway Verification at iFM 2016
My work with Bjørnar Luteberget and Martin Steffen (from PSY and ConSeRNS groups at UiO) won the Best Paper Award at the 12th International Conference on Integrated Formal Methods, which was held in Iceland in June 2016.