From Discrete Duration Calculus to Symbolic Automata
Under a Creative Commons license
open access
Keywords
Duration Calculus
QDDC
synchronous observers
non-deterministic observers
Lustre
Cited by (0)
- 1
Verimag is a joint laboratory of Université Joseph Fourier, CNRS and INPG associated with IMAG.
Copyright © 2006 Elsevier B.V.