Факультетские библиотеки

Карточный/Имидж каталог

Your search returned 5 results.

Results
	1.	No cover image available Some classes of finite state machines with polynomial length of distinguishing test cases H. Yenigün, N. Yevtushenko, N. Kushik by Yenigün, Hüsnü \| Yevtushenko, Nina V \| Kushik, Natalia G. Source: Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 04-08, 2016Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available К построению подавтоматов без слияний для недетерминированных конечных автоматов А. С. Твардовский, Н. В. Евтушенко by Твардовский, Александр Сергеевич \| Евтушенко, Нина Владимировна. Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Экспериментальное исследование свойств адаптивных установочных последовательностей для недетерминированных автоматов Е. М. Винарский, А. С. Твардовский by Винарский, Евгений Максимович \| Твардовский, Александр Сергеевич. Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Refining the specification FSM when deriving test suites w.r.t. the reduction relation A. Tvardovskii by Tvardovskii, Aleksandr. Source: Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedingsMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs I. Hwang, N. V. Yevtushenko, A. Cavalli by Hwang, Iksoon \| Yevtushenko, Nina V \| Cavalli, Ana Rosa \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Information processing lettersMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)