RUS  ENG
Full version
PEOPLE

Samonova Galina Nikolaevna

Publications in Math-Net.Ru

  1. Methodology and tools for development and verification of formal fUML models of requirements and architecture for complex software and hardware systems

    Proceedings of ISP RAS, 30:5 (2018),  123–146

© Steklov Math. Inst. of RAS, 2024