El-Fakih Khaled

Publications in Math-Net.Ru

1. Testing timed nondeterministic finite state machines with the guaranteed fault coverage
   
   Model. Anal. Inform. Sist., 24:4 (2017),  496–507