Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge.

Stefan Gruner Apurva Kumar Tom Maibaum

Published in: FTSCS (2015)

Keyphrases

expert systems
knowledge management
domain knowledge
knowledge representation
knowledge base
domain specific
knowledge acquisition
knowledge based systems
learning systems
domain experts
knowledge sharing
formal methods
machine learning
complex domains