Collaborated with:
N.Yevtushenko A.R.Cavalli
Talks about:
nondeterminist (1) machin (1) state (1) minim (1) finit (1) embed (1) test (1) suit (1)
Person: Ricardo Anido
DBLP: Anido:Ricardo
Contributed to:
Wrote 1 papers:
- IWTCS-1999-YevtushenkoCA #embedded #finite #nondeterminism #state machine #testing
- Test Suite Minimization for Embedded Nondeterministic Finite State Machines (NY, ARC, RA), pp. 237–250.