C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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