Sign in
Automated Compositional Verification of Interlocking Systems.
Anne E. Haxthausen
Alessandro Fantechi
Gloria Gori
Óli Kárason Mikkelsen
Sofie-Amalie Petersen
Published in:
RSSRail (2023)
Keyphrases
</>
complex systems
retrieval systems
expert systems
artificial neural networks
formal methods
real time
database systems
intelligent systems
knowledge based systems
semi automatic
model checking
computer aided
computing systems
formal verification