Testing finite state machines presenting stochastic time and timeouts
ISSN: 0302-9743, 1611-3349
ISBN: 9783540752103
Année de publication: 2007
Volumen: 4748 LNCS
Pages: 97-111
Type: Communication dans un congrès
ISSN: 0302-9743, 1611-3349
ISBN: 9783540752103
Année de publication: 2007
Volumen: 4748 LNCS
Pages: 97-111
Type: Communication dans un congrès