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