Extending EFSMs to specify and test timed systems with action durations and time-outs
ISSN: 0018-9340
Datum der Publikation: 2008
Ausgabe: 57
Nummer: 6
Seiten: 835-848
Art: Artikel
ISSN: 0018-9340
Datum der Publikation: 2008
Ausgabe: 57
Nummer: 6
Seiten: 835-848
Art: Artikel