|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Об автоматической генерации Си-кода на основе Event-B спецификацийстатья
- Авторы: Зеленецкая Д.Н., Пучков Д.В., Девянин П.Н.
- Сборник: Сборник трудов II Всероссийской научно-технической конференции "Состояние и перспективы развития современной науки по направлению "ИТ-технологии"
- Том: 2
- Год издания: 2023
- Первая страница: 195
- Последняя страница: 200
- Добавил в систему: Галатенко Алексей Владимирович