Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

1.
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 Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
2.
Тестирование в контексте для реализации протокола TCP на основе автоматных моделей Н. М. Щипачев, Н. Г. Кушик

by Щипачев, Никита Михайлович | Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :