Scientific Library of Tomsk State University

   E-catalog        


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

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

  • Your search returned 6 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.
    Deriving homing sequences for Finite State Machines with timeouts A. Tvardovskii, N. V. Yevtushenko

    by Tvardovskii, Aleksandr | Yevtushenko, Nina V.

    Source: The computer journalMaterial 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: Minimizing Finite State Machines with time guards and timeouts.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: On the possibilities of FSM description of parallel composition of timed finite state machines.Online access: Click here to access online Availability: No items available :
    5.
    К минимизации автоматов с таймаутами А. С. Твардовский

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.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.
    Conformance relations for finite state machines with timeouts O. Kondratyeva, N. Yevtushenko, A. Cavalli

    by Kondratyeva, O | Yevtushenko, Nina V | Cavalli, Ana Rosa | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :