Formal Methods in Railways: a Systematic Mapping Study.

Alessio Ferrari Maurice H. ter Beek

Published in: CoRR (2021)

Keyphrases

formal methods
database
case study
natural language
object oriented
open source
empirical studies
knowledge based systems
building blocks
safety critical