Extending EFSMs to specify and test timed systems with action durations and time-outs
ISSN: 0018-9340
Année de publication: 2008
Volumen: 57
Número: 6
Pages: 835-848
Type: Article
ISSN: 0018-9340
Année de publication: 2008
Volumen: 57
Número: 6
Pages: 835-848
Type: Article