Информация об авторе
Morozov, S. V.
Выпуск | Раздел | Название | Файл |
№ 5 (2024) | ТЕОРИЯ ПРОГРАММИРОВАНИЯ: ФОРМАЛЬНЫЕ МОДЕЛИ И СЕМАНТИКА | Формальная спецификация и верификация требований в архитектуре и строительстве на основе языка моделирования EXPRESS |