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