JSON

timed automata

Go to external page http://a.com/ontology#TimedAutomata

This is just here as a test because I lose it

Term information

definition

STA with deterministic transition function and deterministic clock structure.

exact synonym

timed automaton

source

demo:TimedAutomata

Term relations