C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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