Login / Signup
Decomposing the Verification of Interlocking Systems.
Anne E. Haxthausen
Alessandro Fantechi
Gloria Gori
Published in:
Applicable Formal Methods for Safe Industrial Products (2023)
Keyphrases
</>
formal methods
multi agent systems
computer systems
complex systems
data sets
computer vision
information systems
knowledge base
search algorithm
management system
distributed systems
intelligent systems
knowledge based systems
retrieval systems