Scientific Library of Tomsk State University

   E-catalog        

Your search returned 4 results.

1.
К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов А. Н. Михайлова, В. С. Болтова, С. А. Прокопенко, Н. В. Шабалдина

by Болтова, Виктория Сергеевна | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна | Михайлова, Александра Николаевна.

Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
2.
Locating a faulty component of an EFSM composition S. Prokopenko

by Prokopenko, Svetlana A | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
3.
К построению параллельной композиции расширенных автоматов Е. В. Широкова, С. А. Прокопенко, Н. В. Шабалдина

by Широкова, Екатерина Владимировна | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: On deriving the parallel composition of extended finite state machines.Online access: Click here to access online Availability: No items available :
4.
Экспериментальное исследование полноты тестов, построенных по конечно-автоматным срезам расширенного автомата А. Л. Никитин

by Никитин, Александр Леонидович.

Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :