Supporting Railway Innovations with Formal Modelling and Verification.

Published in: FMICS (2022)

Keyphrases

formal methods
formal analysis
model checking
databases
artificial intelligence
information systems
decision support
real time
machine learning
temporal logic
formal model
formal specification
formal verification
mathematical theory
concurrent systems
defeasible argumentation