Abstraction of continuous system trajectories into timed automata
- Helias, A.
- Guerrin, F.
- Steyer, J.-P.
ISSN: 1474-6670
Datum der Publikation: 2004
Ausgabe: 37
Nummer: 18
Seiten: 309-314
Art: Konferenz-Beitrag
ISSN: 1474-6670
Datum der Publikation: 2004
Ausgabe: 37
Nummer: 18
Seiten: 309-314
Art: Konferenz-Beitrag