Масштабирование систем взаимодействующих процессов
Добавлено: 13 фев 2006 06:47 pm
На основе алгоритмов, по которым выполняется масштабирование моделей на языке ММ, и на основе средства, которое такое масштабирование выполняет, реализовать (предварительно разработав теорию) инструментальное средство для языка muCRL или какого-то другого.