Phone: +33 1 75 31 44 19
E-mail:
Keywords: Formal methods FSM and Automata theory Analysis and synthesis of Finite State Machines Software testing and verification
UDC: 519.7

Subject:

Finite State Machines Testing and verification

Publications in Math-Net.Ru

Personal pages:

• 

Organisations:

• Tomsk State University
• Telecom SudParis