Самонова Галина Николаевна

Публикации в базе данных 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
   
   Труды ИСП РАН, 30:5 (2018),  123–146