Отображение 1 - 4 результаты of 4 для поиска 'Petrenko, Alexandre F.', время запроса: 0.02сек. Отмена результатов
  1. 1
    Generating checking sequences for nondeterministic finite state machines
    Полный текст
    Статья в сборнике
  2. 2
    Refining specifications in adaptive testing of nondeterministic finite state machines
    Полный текст
    Статья в журнале
  3. 3
    Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings /
    по Petrenko, Alexandre F.
    Опубликовано в: Springer e-books (2007)
    Полный текст
    Электронная книга
  4. 4
    On reducing test length for FSMs with extra states
    Другие авторы: “...Petrenko, Alexandre F....”
    Полный текст
    Статья в журнале
Инструменты поиска: RSS-поток