верификация моделей

Шилов Н.В. О необходимости онтологии для классификации и навигации по универсуму компьютерных языков // Системная информатика. — . — № 13.  — С. 1-24
Идрисов Р.И. Одинцов С.П. Шилов Н.В. Онтологический подход к проблеме классификации компьютерных языков: состояние и перспективы // Системная информатика. — . — № 1.  — С. 63-78
Подписаться на верификация моделей