Исполнение моделей при помощи виртуальной машины

Буздин К.В.

Труды Института Системного Программирования РАН, 2004 г.