Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

1.
No cover image available
Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами А. Ю. Матросова, С. В. Чернышов

by Матросова, Анжела Юрьевна | Чернышов, Семен Владимирович.

Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 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 :
Log in to add tags Add to cart
2.
No cover image available
О свойствах ROBDD-графов, представляющих тестовые пары для робастно тестируемых неисправностей задержек путей В. З. Тычинский, В. В. Андреева

by Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна.

Source: Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г.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 :
Log in to add tags Add to cart