RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Либуркин Дмитрий Л
Публикации в базе данных Math-Net.Ru
Транслятор табличных представлений автоматов Мили в программы на языке SMV для автоматизации верификации проектов вычислительных устройств на основе Проверки Моделей
Системы и средства информ.
,
20
:3 (2010),
4–16
©
МИАН
, 2024