Extending EFSMs to specify and test timed systems with action durations and time-outs
ISSN: 0018-9340
Ano de publicación: 2008
Volume: 57
Número: 6
Páxinas: 835-848
Tipo: Artigo
ISSN: 0018-9340
Ano de publicación: 2008
Volume: 57
Número: 6
Páxinas: 835-848
Tipo: Artigo