|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2010 |
1. |
С. Л. Френкель, А. Л. Курц, Д. Л. Либуркин, H. A. Фандюшина, Б. Н. Андерс, “Транслятор табличных представлений автоматов Мили в программы на языке SMV для автоматизации верификации проектов вычислительных устройств на основе Проверки Моделей”, Системы и средства информ., 20:3 (2010), 4–16 |
|
2008 |
2. |
А. Л. Курц, А. Л. Фридман, Б. Н. Андерс, H. A. Фандюшина, Л. Я. Чумаков, “Принципы построения средств управления ИТ-инфраструктурой на примере модели ITSM компании HP”, Системы и средства информ., 2008, № дополнительный выпуск, 69–85 |
4
|
|