Запропоновано підхід до формалізації етапу алгоритмічного проектування мікропроцесорних систем (АПМПС) на базі математичного апарату модифікованих систем алгоритмічних алгебр В. М. Глушкова. Створено формалізовані специфікації протоколу OSPF і схеми паралельних алгоритмів Флойда - Уоршала та Джонсона. Описано інструментальні засоби підтримки комп'ютерної технології АПМПС.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"