Périodique

Testing from Partial Deterministic FSM Specifications

Petrenko, A. and Yevtushenko, N. "Testing from Partial Deterministic FSM Specifications" IEEE Transactions on Computers, 54 (9) 2005 : 1154-1165