Abstraction of continuous system trajectories into timed automata

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

ISSN: 1474-6670

Année de publication: 2004

Volumen: 37

Número: 18

Pages: 309-314

Type: Communication dans un congrès

DOI: 10.1016/S1474-6670(17)30764-4 GOOGLE SCHOLAR
La source de données: Scopus