Электронная библиотека (репозиторий) Томского государственного университета

Add to Quick Collection   All 6 Results

Showing items 1 - 6 of 6.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Minimizing deterministic timed finite state machines
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V. | Villa, Tiziano | Gromov, Maxim L. | Bresolin, Davide
Source: IFAC-PapersOnLine. 2018. Vol. 51, № 7. P. 486-492
Type: статьи в журналах
Date: 2018
Description: Timed automata and timed finite state machins (TFSMs) have been proposed to represent more accurately the behaviour of systems in continuous time. Recently, we introduced a model of TFSMs that extends ... More
Add   Мутационное тестирование систем, описанных в языке XML, с использованием древовидных автоматов
Authors: Форостьянова, Мария Сергеевна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 193-195
Type: статьи в журналах
Date: 2013
Add   Недетерминированные автоматы: анализ и синтез : [учебное пособие]. Ч. 2
Authors: Евтушенко, Нина Владимировна | Рекун, М. В. | Тихомирова, Светлана Владимировна
Type: учебные издания
Date: 2009
Add   Дискретная математика : учебное пособие
Authors: Матросова, Анжела Юрьевна | Останин, Сергей Александрович
Type: учебные издания
Date: 2007
Description: Учебно-методический комплекс (УМК) "Дискретная математика" разработан в рамках Инновационной образовательной программы ТГУ. Ресурс является современным учебным пособием, сочетающим классическую строго ... More
Add   Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)
Authors: Майер, Георгий Владимирович
Type: журналы
Date: 2007
Add   Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06, (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г. )
Authors: Майер, Георгий Владимирович | Башкатов, Виктор Захарович
Type: сборники
Date: 2006
  • «
  • ←
  • 1
  • →
  • »
^