Compositional Verification of Railway Interlocking Systems.

Anne Elisabeth Haxthausen Alessandro Fantechi

Published in: Formal Aspects Comput. (2023)

Keyphrases

distributed systems
asynchronous circuits
image sequences
building blocks
complex systems
neural network
data mining
machine learning
feature selection
metadata
intelligent systems
computer systems
model checking