作者的详细信息

Морозов, С. В.

栏目 标题 文件
编号 5 (2024) THEORETICAL COMPUTER SCIENCE: FORMAL MODELS AND SEMANTICS Formal specification and verification of requirements in architecture and construction using the EXPRESS modeling language