Extending EFSMs to specify and test timed systems with action durations and time-outs
ISSN: 0018-9340
Año de publicación: 2008
Volumen: 57
Número: 6
Páginas: 835-848
Tipo: Artículo
ISSN: 0018-9340
Año de publicación: 2008
Volumen: 57
Número: 6
Páginas: 835-848
Tipo: Artículo