Login / Signup
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL.
Bjørnar Luteberget
John J. Camilleri
Christian Johansen
Gerardo Schneider
Published in:
SEFM (2017)
Keyphrases
</>
model checking
databases
design process
information exchange
real time
information systems
data collection
face verification
formal methods
formal analysis
signature verification
information infrastructure
verification method