Abstraction of continuous system trajectories into timed automata

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

ISSN: 1474-6670

Argitalpen urtea: 2004

Alea: 37

Zenbakia: 18

Orrialdeak: 309-314

Mota: Biltzar ekarpena

DOI: 10.1016/S1474-6670(17)30764-4 GOOGLE SCHOLAR
Datuen iturria: Scopus