Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

  • Your search returned 6 results.

    1.
    Алгоритмические методы синтеза тестов А. Ю. Матросова; Под ред. С. В. Быковой; Сиб. физ. -техн. ин-т им. Б. Д. Кузнецова при Том. гос. ун-те

    by Матросова, Анжела Юрьевна | Быкова, Светлана Васильевна [edt] | Сибирский физико-технический институт им. В. Д. Кузнецова (Томск).

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского университета 1990Online access: Click here to access online Availability: No items available :
    2.
    Masking internal node logical faults and trojan circuits injections with using SAT solvers A. Y. Matrosova, V. Provkin

    by Matrosova, Anzhela Yu | Provkin, V. А.

    Source: 2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) : THETA 22nd edition, 21st -23rd May, Cluj-Napoca, Romania : proceedingsMaterial 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 :
    3.
    Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем А. Ю. Матросова, В. А. Провкин, В. З. Тычинский [и др.]

    by Матросова, Анжела Юрьевна | Провкин, Виктор Алексеевич | Тычинский, Вячеслав Зиновьевич | Николаева, Екатерина Александровна | Гошин, Геннадий Георгиевич.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    4.
    Построение тестов для константных неисправностей произвольных логических элементов комбинационных схем на основе графического представления функций элементов А. Ю. Матросова, А. Г. Плешков, С. А. Алемасов

    by Матросова, Анжела Юрьевна | Плешков, Алексей Геннадьевич | Алемасов, Сергей Александрович | Томский государственный университет Факультет прикладной математики и кибернетики (до 01.09.2017 г.).

    Source: Вестник Томского государственного университетаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    5.
    Синтез вентильных схем, маскирующих неисправности, с использованием SAT-решателей В. А. Провкин

    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 :
    6.
    Маскирование неисправностей полюсов логических схем с использованием частичных функций А. Ю. Матросова, В. А. Провкин, В. В. Андреева

    by Матросова, Анжела Юрьевна | Провкин, Виктор Алексеевич | Андреева, Валентина Валерьевна.

    Source: Информационные технологии и математическое моделирование (ИТММ-2019). Ч. 2 : материалы XVIII Международной конференции имени А. Ф. Терпугова, 26-30 июня 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 :