К списку авторов / Go to index of authors

Киреев Андрей Павлович

Способ верификации исходного кода программного обеспечения бортовой аппаратуры космического аппарата с применением темпоральной логики

Title:

Verification of the software source code of the spacecraft onboard equipment using temporal logic

Серия/Series:

Сложные системы модели, анализ и управление / Complex systems: models, analysis, management

Год/Year:

2025

Выпуск/Issue:

3

Начальная страница/First page:

97

Подробнее/Read more о Способ верификации исходного кода программного обеспечения бортовой аппаратуры космического аппарата с применением темпоральной логики