Login / Signup
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces.
Davide Basile
Alessandro Fantechi
Irene Rosadi
Published in:
FMICS (2021)
Keyphrases
</>
formal analysis
formal methods
safety critical
development lifecycle
knowledge based systems
formal specification
process algebra
software engineering
model checking
model checker
relational databases
provably correct
artificial intelligence
security properties
agent model
software development
ban logic