Перейти к основному содержанию
Кафедра интегрированных киберсистем МФТИ
Общая информация
Презентация кафедры
Выпускники кафедры
Поступление
История кафедры
Расписание занятий
Учебные курсы
Преподаватели
Примеры тем дипломных работ
Публикации преподавателей
Полезные рекомендации
Видеоматериалы
Электронная библиотека
Контакты
Вход на сайт
Имя пользователя
*
Пароль
*
Забыли пароль?
5363
Автор(ы):
Калянов Г. Н. (ИПУ РАН, Лаборатория 49)
Автор(ов):
1
Параметры публикации
Тип публикации:
Пленарный доклад
Название:
Развитие теоретических основ информационных систем в современных условиях
Наименование конференции:
Научная сессия МИФИ
Город:
-
Издательство:
-
Год издания:
2010
Страницы:
-
Аннотация
Рассматривается применение формальных языков и грамматик, методов тестирования и верификации для оценки качества бизнес-процессов
Библиографическая ссылка:
Калянов Г.Н. Развитие теоретических основ информационных систем в современных условиях / . -: -, 2010. С. -.