|
Генерация символьных трасс в системе инсерционного моделирования [Текст] / А. А. Летичевский, А. Ал. Летичевский, В. С. Песчаненко, А. А. Губа // Кибернетика и системный анализ. – 2015. – Т. 51, № 1. – С. 7-19.
Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых моделей, разделение локальных описаний и отношения следования, возможность настройки на различные стратегии поиска. |