Электронная библиотека полнотекстовых учебных и научных изданий УлГТУ
Количество публикаций:
6286
Количество изданий:
3942
Авторов:
3152
Обращений к публикациям:
21125836
Искать:
Область поиска:
все атрибуты
название
автор
аннотация
введение
содержание
Помощь
Новинки
|
Популярные
|
Список авторов
|
Факультеты
|
Сведения о регистрации
|
Издательство
|
Полезные ссылки
Результаты поиск по автору:
Братчин А.Г.
1.
Братчин А.Г. Анализ формального метода верификации Model checking и его применимости к встраиваемым системам авиационного назначения
//
Информатика и вычислительная техника: сборник научных трудов / под ред. Н. Н. Войта. - Ульяновск : УлГТУ, 2011. - 656 с.
Дата создания: 04.04.2012; Число обращений: 641; Дата последнего обращения: 20.04.2024
2.
Братчин А.Г. Применение отношения ioco при формальной верификации систем с блокировками и разрушением, его особенности и недостатки
//
Информатика, моделирование, автоматизация проектирования: сборник научных трудов / под ред. Н. Н. Войта. -Ульяновск : УлГТУ, 2011.- 416 с.
Дата создания: 30.03.2012; Число обращений: 634; Дата последнего обращения: 20.04.2024
3.
Братчин А.Г. Анализ проблем в области верификации ПО и возможных подходов к их решению
//
Информатика, моделирование, автоматизация проектирования: сборник научных трудов / под ред. Н. Н. Войта. - Ульяновск : УлГТУ, 2010. - 531 с.
Дата создания: 04.04.2012; Число обращений: 622; Дата последнего обращения: 20.04.2024
Copyright © 2001 - 2021 Издательство «Венец» УлГТУ
