Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

По вашему запросу найдено документов: 4416

Страница 5 из 442

On reducing test length for FSMs with extra states
Simao, Adenilso da Silva, Petrenko, Alexandre F., Yevtushenko, Nina V.
автоматы конечные
Using models of finite transition systems for checking Web-service security
Shabaldina, Natalia V., Darusenkova, Ekaterina V., Yevtushenko, Nina V., Kolomeets, Anton V.
конечные автоматы
К минимизации автоматов с таймаутами
Твардовский, Александр Сергеевич
конечные автоматы
Testing components of interacting timed finite state machines
Gromov, Maxim, Tvardovskii, Aleksandr, Yevtushenko, Nina V.
конечные автоматы
Improving protocol passive testing through "Gedanken" experiments with finite state machines
Kushik, Natalia G., Cavalli, Ana, Yevtushenko, Nina V., López, Jorge
конечные автоматы
Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs
Kushik, Natalia G., Yevtushenko, Nina V., Yenigün, Hüsnü
конечные автоматы
Pseudo-exhaustive testing of sequential circuits for multiple stuck-at faults
Matrosova, Anjela Yu., Mitrofanov, Evgenii V.
конечные автоматы
On using finite state machines for optimization and testing of SDN controllers
Berriri, A., Kushik, Natalia G., Zeghlache, D.
конечные автоматы
Оценка кратности выходного символа в обратимом автомате
Катеринский, Денис Аркадьевич
конечные автоматы
Применение конечного автомата для одновременного поиска нескольких двоичных шаблонов в потоке данных
Панкратов, Иван Владимирович
конечные автоматы

Страница 5 из 442

Фасеты

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core