Acte de conférence, colloque et atelier

Adaptive Testing of Nondeterministic Systems with FSM

Petrenko, A. and Yevtushenko, N. "Adaptive Testing of Nondeterministic Systems with FSM" in Proceedings of the IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE), pp. 224-228. Miami, USA, du 9 au 11 janvier 2014