П32 |
Пилкаускас, В. К. Преобразование моделей систем реального времени на основе применения атрибутных грамматик и агрегативного подхода [Текст] : автореф. дис. ... канд. техн. наук : защищена 24.04.87 / Витаутас Казевич Пилкаускас : Каунас. политехн. ин-т. – Каунас, 1987. – 18 с. – Библиогр.: с.16-18.
Целью работы является создание методов и средств преобразования спецификации функционирования систем реального времени в модели для анализа корректности и оценки показателей производительности. |