Scientific Library of Tomsk State University

   E-catalog        

Your search returned 4 results.

1.
Тестирование системы автоматов И. Б. Бурдонов, А. С. Косачев

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 :
2.
Семантики взаимодействия с отказами, дивергенцией и разрушением. Гипотеза о безопасности и безопасная конформность И. Б. Бурдонов, А. С. Косачев

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

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

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

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

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

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