Внимание! Электронная библиотека научных изданий УлГТУ находится по новому адресу elib.ulstu.ru.
Система поиска venec.ulstu.ru/lib будет отключена 01.07.2025
 Электронная библиотека полнотекстовых учебных и научных изданий УлГТУ
Количество публикаций: 6350   Количество изданий: 4006   Авторов: 3162   Обращений к публикациям: 21682755
  Искать:   Область поиска:    Помощь 
Новинки | Популярные | Список авторов | Факультеты | Сведения о регистрации | Издательство | Полезные ссылки
Результаты поиск по автору: Братчин А.Г.

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