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

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

Bibliographic Details
Published in:Science of Computer Programming Vol. 80, Part B. P. 343-355
Main Author: El-Fakih, Khaled
Corporate Author: Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур
Other Authors: Yevtushenko, Nina V., Simao, Adenilso da Silva
Format: Article
Language:English
Subjects:
конечные автоматы
конечные автоматы детерминированные
тестирование
тестирование с гарантированной полнотой
статьи в журналах
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000471150
Перейти в каталог НБ ТГУ

Internet

http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000471150
Перейти в каталог НБ ТГУ

Similar Items