Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems
Trudy Instituta sistemnogo programmirovaniâ RAN/Trudy Instituta sistemnogo programmirovaniâ