Электронная библиотека полнотекстовых учебных и научных изданий УлГТУ
Количество публикаций: 5735   Количество изданий: 3391   Авторов: 3072   Обращений к публикациям: 16046718
  Искать:   Область поиска:    Помощь 
Новинки | Популярные | Список авторов | Факультеты | Сведения о регистрации | Издательство | Полезные ссылки
Результаты поиск по автору: Братчин А.Г.

1. Братчин А.Г. Анализ формального метода верификации Model checking и его применимости к встраиваемым системам авиационного назначения // Информатика и вычислительная техника: сборник научных трудов / под ред. Н. Н. Войта. - Ульяновск : УлГТУ, 2011. - 656 с.
Дата создания: 04.04.2012; Число обращений: 460; Дата последнего обращения: 08.11.2019
2. Братчин А.Г. Применение отношения ioco при формальной верификации систем с блокировками и разрушением, его особенности и недостатки // Информатика, моделирование, автоматизация проектирования: сборник научных трудов / под ред. Н. Н. Войта. -Ульяновск : УлГТУ, 2011.- 416 с.
Дата создания: 30.03.2012; Число обращений: 456; Дата последнего обращения: 14.11.2019
3. Братчин А.Г. Анализ проблем в области верификации ПО и возможных подходов к их решению // Информатика, моделирование, автоматизация проектирования: сборник научных трудов / под ред. Н. Н. Войта. - Ульяновск : УлГТУ, 2010. - 531 с.
Дата создания: 04.04.2012; Число обращений: 444; Дата последнего обращения: 06.11.2019
Copyright © 2001 - 2017 Издательство «Венец» УлГТУ
Интеллектуальные компьютерные системы обучения   Графические грамматики   Союз образовательных сайтов