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

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