Timed Automata: Example

guard

reset

location

Previous slide

Next slide

Back to first slide

View graphic version