Песков Е В

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

1. Criteria for software to safety-critical complex certifiable systems development
   
   Труды ИСП РАН, 30:4 (2018),  63–78