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