Login / Signup

Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL.

Bjørnar LutebergetJohn J. CamilleriChristian JohansenGerardo Schneider
Published in: SEFM (2017)
Keyphrases