Способ верификации исходного кода программного обеспечения бортовой аппаратуры космического аппарата с применением темпоральной логики
Год/Year:
2025
Серия/Series:
Сложные системы модели, анализ и управление / Complex systems: models, analysis, management
Выпуск/Issue:
3
Начальная страница/First page:
97
Название:
Способ верификации исходного кода программного обеспечения бортовой аппаратуры космического аппарата с применением темпоральной логики
Title:
Verification of the software source code of the spacecraft onboard equipment using temporal logic
Полная версия/Full version: