Материалов:
1 082 141

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

Авторов:
761 409

расширенный поиск

A practical approach for testing timed deterministic finite state machines with single clock

El-Fakih, Khaled, Yevtushenko, Nina V., Simao, Adenilso da Silva

Дата публикации: 2014

Дата публикации в реестре: 2020-03-03T18:30:35Z

Ключевые слова:
конечные автоматы, конечные автоматы детерминированные, тестирование, тестирование с гарантированной полнотой

Тип: статьи в журналах

Права: open access

Источник: Science of Computer Programming. 2014. Vol. 80, Part B. P. 343-355

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core