Публикации в базе данных Math-Net.Ru
-
Analysis of Russian software supporting onboard systems development lifecycle in context of import substitution policy
Труды ИСП РАН, 32:2 (2020), 175–190
-
Управление требованиями к ответственным системам. Обзор решений
Труды ИСП РАН, 31:1 (2019), 25–48
-
Criteria for software to safety-critical complex certifiable systems development
Труды ИСП РАН, 30:4 (2018), 63–78
-
Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов
Труды ИСП РАН, 29:3 (2017), 171–178
-
Practical experience of software and system engineering approaches in requirements management for software development in aviation industry
Труды ИСП РАН, 28:2 (2016), 173–180
© , 2026