Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems.

Alessandro Fantechi

Published in: FMICS-AVoCS (2016)

Keyphrases

data driven
management system
knowledge based systems
learning systems
formal methods
neural network
control system
computer systems
complex systems