Normal view
MARC view
A practical approach for testing timed deterministic finite state machines with single clock K. El-Fakih, N. Yevtushenko, A. Simao
Material type: ArticleSubject(s): конечные автоматы | конечные автоматы детерминированные | тестирование | тестирование с гарантированной полнотойGenre/Form: статьи в журналах Online resources: Click here to access online In: Science of Computer Programming Vol. 80, Part B. P. 343-355No physical items for this record
Библиогр.: 31 назв.
Ограниченный доступ
There are no comments on this title.
Log in to your account to post a comment.