Travelled to:1 × Canada
1 × France
1 × Germany
Collaborated with:∅
Talks about:testabl (4) local (3) determinist (2) algorithm (2) finit (2) threshold (1) automaton (1) polynomi (1) automata (1) verifi (1)
Person: A. N. Trahtman
DBLP: Trahtman:A=_N=
Contributed to:
200219991997Wrote 4 papers:
- CIAA-2002-Trahtman #algorithm #polynomial #testing
- A Polynomial Time Algorithm for Left [Right] Local Testability (ANT), pp. 203–212.
- CIAA-2002-Trahtman02a #testing
- A Package TESTAS for Checking Some Kinds of Testability (ANT), pp. 228–232.
- WIA-1999-Trahtman #algorithm #automaton #finite #testing #verification
- An Algorithm to Verify Local Threshold Testability of Deterministic Finite Automata (ANT), pp. 164–173.
- WIA-1997-Trahtman #automaton #estimation #finite #order #precise #testing
- A Precise Estimation of the Order of Local Testability of a Deterministic Finite Automaton (ANT), pp. 198–212.