Extending EFSMs to specify and test timed systems with action durations and time-outs
ISSN: 0018-9340
Year of publication: 2008
Volume: 57
Issue: 6
Pages: 835-848
Type: Article
ISSN: 0018-9340
Year of publication: 2008
Volume: 57
Issue: 6
Pages: 835-848
Type: Article