Abstraction of continuous system trajectories into timed automata

  1. Helias, A.
  2. Guerrin, F.
  3. Steyer, J.-P.
Actes:
IFAC Proceedings Volumes (IFAC-PapersOnline)

ISSN: 1474-6670

Any de publicació: 2004

Volum: 37

Número: 18

Pàgines: 309-314

Tipus: Aportació congrés

DOI: 10.1016/S1474-6670(17)30764-4 GOOGLE SCHOLAR
Font de les dades: Scopus