Sign in
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design.
Alessio Ferrari
Franco Mazzanti
Davide Basile
Maurice H. ter Beek
Published in:
IEEE Trans. Software Eng. (2022)
Keyphrases
</>
formal methods
formal analysis
knowledge based systems
systematic evaluation
software engineering
development lifecycle
safety critical
machine learning
artificial intelligence
building blocks
design patterns
modeling language
formal specification