Extending EFSMs to specify and test timed systems with action durations and time-outs
ISSN: 0018-9340
Any de publicació: 2008
Volum: 57
Número: 6
Pàgines: 835-848
Tipus: Article
ISSN: 0018-9340
Any de publicació: 2008
Volum: 57
Número: 6
Pàgines: 835-848
Tipus: Article