Инсерционная семантика плоских многопотоковых моделей языка UCM von Губа, А.А., Шушпанов, К.И.

Volltext

Метод извлечения логики поведения из промышленного программного кода на языке Кобол von Губа, А.А., Колчин, А.В., Потиенко, С.В.

Volltext

Равномерно-вращательные конфигурации точечных вихрей von Ареф, Х., Мелешко, В.В., Губа, А.А., Гуржий, А.А.

Volltext

Генерация символьных трасс в системе инсерционного моделирования von Летичевский, А.А., Летичевский, А.Ал., Песчаненко, В.С., Губа, А.А.

Volltext