Travelled to:
1 × France
Collaborated with:
A.Petrenko N.Yevtushenko A.Das
Talks about:
nondeterminist (1) protocol (1) conform (1) machin (1) state (1) test (1)
Person: Alexandre Lebedev
DBLP: Lebedev:Alexandre
Contributed to:
Wrote 1 papers:
- IWPTS-1993-PetrenkoYLD #consistency #nondeterminism #protocol #state machine #testing
- Nondeterministic State Machines in Protocol Conformance Testing (AP, NY, AL, AD), pp. 363–378.