• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation

Formal Aspects of Computing. 2018. Vol. 30. No. 2. P. 319-332.
El-Fakih K., Nina Yevtushenko, Kushik N.