Gukova A S

Publications in Math-Net.Ru

1. Analysis of Russian software supporting onboard systems development lifecycle in context of import substitution policy
   
   Proceedings of ISP RAS, 32:2 (2020),  175–190
2. Criteria for software to safety-critical complex certifiable systems development
   
   Proceedings of ISP RAS, 30:4 (2018),  63–78