Для цитирования:

Самонов А.В., Самонова Г.Н. Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем. Труды Института системного программирования РАН. 2018;30(5):123-146. https://doi.org/10.15514/ISPRAS-2018-30(5)-8

For citation:

Samonov A.V., Samonova G.N. Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(5):123-146. (In Russ.) https://doi.org/10.15514/ISPRAS-2018-30(5)-8