RUS  ENG
Полная версия
ПЕРСОНАЛИИ

Песков Е В

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

  1. Criteria for software to safety-critical complex certifiable systems development

    Труды ИСП РАН, 30:4 (2018),  63–78


© МИАН, 2026