Search alternatives:
languages » language
automata » automated

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... -- Transforming Timeline Specifications into Automata for Runtime Monitoring -- Visualization, Simulation...