Samonov Aleksandr Valeryanovich

Publications in Math-Net.Ru

1. Methods and means for automated information systems development based on ontology «Software and hardware complexes quality management»
   
   Proceedings of ISP RAS, 31:5 (2019),  165–182
2. 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