Курц Александр Л

Публикации в базе данных Math-Net.Ru

1. Транслятор табличных представлений автоматов Мили в программы на языке SMV для автоматизации верификации проектов вычислительных устройств на основе Проверки Моделей
   
   Системы и средства информ., 20:3 (2010),  4–16
2. Процессное управление — основа построения систем контроля и управления информационно-технологической инфраструктурой
   
   Системы и средства информ., 2009, № дополнительный выпуск,  148–162
3. Принципы построения средств управления ИТ-инфраструктурой на примере модели ITSM компании HP
   
   Системы и средства информ., 2008, № дополнительный выпуск,  69–85