Christian Johansen

Tag: Railway regulations

Best Paper Award for Railway Verification at iFM 2016

Aug 5, 2021

—

by

christian@johansenresearch.info

in Honors and Awards

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.