RUS  ENG
Full version
PEOPLE

Peskov E V

Publications in Math-Net.Ru

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

    Proceedings of ISP RAS, 30:4 (2018),  63–78

© Steklov Math. Inst. of RAS, 2026