Гукова Александра Сергеевна

Публикации в базе данных Math-Net.Ru

1. Analysis of Russian software supporting onboard systems development lifecycle in context of import substitution policy
   
   Труды ИСП РАН, 32:2 (2020),  175–190
2. Criteria for software to safety-critical complex certifiable systems development
   
   Труды ИСП РАН, 30:4 (2018),  63–78