Отображение
1 - 4
результаты of
4
для поиска '
Petrenko, Alexandre F.
'
Пропуск в контексте
Язык
English
Русский
123
Все поля
Заглавие
Автор
Предмет
Шифр
ISBN/ISSN
Найти
Расширенный поиск
Автор
Petrenko, Alexandre F.
Отображение
1 - 4
результаты of
4
для поиска '
Petrenko, Alexandre F.
'
, время запроса: 0.02сек.
Отмена результатов
Сортировка
Релевантность
Дата по убыванию
Дата по возрастанию
Шифр
Автор
Заглавие
1
Generating checking sequences for nondeterministic finite state machines
по
Petrenko
,
Alexandre
F
.
Опубликовано в:
IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Статья в сборнике
2
Refining specifications in adaptive testing of nondeterministic finite state machines
по
Petrenko
,
Alexandre
F
.
Опубликовано в:
Вестник Томского государственного университета. Управление, вычислительная техника и информатика
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Статья в журнале
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...
по
Petrenko
,
Alexandre
F
.
Опубликовано в:
Springer e-books
(2007)
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Электронная книга
4
On reducing test length for FSMs with extra states
по
Simao, Adenilso da Silva
Опубликовано в:
Software Testing Verification and Reliability
Другие авторы:
“
...
Petrenko
,
Alexandre
F
....
”
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Статья в журнале
Инструменты поиска:
RSS-поток
Связанные темы
Communications Engineering, Networks
Computer Communication Networks
Computer Science
Information systems
Logic design
Logics and Meanings of Programs
Management of Computing and Information Systems
Programming Languages, Compilers, Interpreters
Software Engineering
Software engineering
Telecommunication
Загрузка...