Scientific Library of Tomsk State University

   E-catalog        

Your search returned 9 results.

Sort
Results
1.
О синхронной композиции детерминированных автоматов И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев, В. З. Шнитман

by Евтушенко, Нина Владимировна | Косачев, Александр Сергеевич | Шнитман, Виктор Зиновьевич | Бурдонов, Игорь Борисович.

Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.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.
Семантики взаимодействия с отказами, дивергенцией и разрушением. Гипотеза о безопасности и безопасная конформность И. Б. Бурдонов, А. С. Косачев

by Бурдонов, Игорь Борисович | Косачев, Александр Сергеевич.

Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
3.
Семантики взаимодействия с отказами, дивергенцией и разрушением. 2. Условия конечного полного тестирования А. С. Косачев, И. Б. Бурдонов

by Косачев, Александр Сергеевич | Бурдонов, Игорь Борисович.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
4.
К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов Н. Г. Кушик, Н. В. Евтушенко, И. Б. Бурдонов, А. С. Косачев

by Евтушенко, Нина Владимировна | Бурдонов, Игорь Борисович | Косачев, Александр Сергеевич | Кушик, Наталья Геннадьевна.

Source: Моделирование и анализ информационных системMaterial type: Article Article; Format: electronic available online remote Other title: Deriving synchronizing and homing sequences for input/output automata.Online access: Click here to access online Availability: No items available :
5.
Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 1. Гипотеза о безопасности и безопасная конформность И. Б. Бурдонов, А. С. Косачев

by Бурдонов, Игорь Борисович | Косачев, Александр Сергеевич.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
6.
Семантики взаимодействия с отказами, дивергенцией и разрушением. Условия конечного полного тестирования А. С. Косачев, И. Б. Бурдонов

by Косачев, Александр Сергеевич.

Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
7.
Обобщенная модель системы автоматов И. Б. Бурдонов, А. С. Косачев

by Бурдонов, Игорь Борисович | Косачев, Александр Сергеевич.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
8.
Исследование графа взаимодействующими автоматами И. Б. Бурдонов, А. С. Косачев

by Бурдонов, Игорь Борисович | Косачев, Александр Сергеевич.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
9.
Тестирование системы автоматов И. Б. Бурдонов, А. С. Косачев

by Бурдонов, Игорь Борисович | Косачев, Александр Сергеевич.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Testing of automata system.Online access: Click here to access online Availability: No items available :
Pages