Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL.

Bjrnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider

Browse the full SEFM paper archive.