%0 Journal Article
%A A. S. Tvardovskii
%A K. El-Fakih
%A M. L. Gromov
%A N. V. Yevtushenko
%T Testing timed nondeterministic finite state machines with the guaranteed fault coverage
%J Modelirovanie i analiz informacionnyh sistem
%D 2017
%P 496-507
%V 24
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2017_24_4_a7/
%G ru
%F MAIS_2017_24_4_a7