Kleene-Schützenberger and Büchi Theorems for Weighted Timed Automata
Ingenaaid — ISBN: 9783832525002
In 1994, Alur and Dill introduced timed automata as a simple mathematical model for modelling the behaviour of real-time systems. In this thesis, we e…
€ 42,78
Leverbaar