Automated repair for timed systems.

Martin Kölbl Stefan Leue Thomas Wies

Published in: Formal Methods Syst. Des. (2021)

Keyphrases

complex systems
semi automated
expert systems
real time
database
machine learning
artificial intelligence
metadata
database systems
computer systems
learning systems
automated analysis
human operators
computing systems
petri net
knowledge based systems
management system
case study
information systems
data sets