Clock Bound Repair for Timed Systems.

Martin Kölbl Stefan Leue Thomas Wies

Published in: CAV (1) (2019)

Keyphrases

upper bound
high speed
intelligent systems
worst case
computer systems
knowledge based systems
database
lower bound
petri net
neural network
learning environment
management system
building blocks