Фандюшина Hаталья A

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

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