Для цитирования:
СЕМЕНОВ В.А., АРИШИН С.В., ЗОРИН Е.М., МОРОЗОВ С.В. Машинно-интерпретируемый формат IDS++ для спецификации и верификации требований в строительной отрасли: идея, концепция, реализация. Труды Института системного программирования РАН. 2026;38(4):201-224. https://doi.org/10.15514/ISPRAS-2026-38(4)-11
For citation:
SEMENOV V.A., ARISHIN S.V., ZORIN E.M., MOROZOV S.V. Computer-interpretable Format IDS++ for Specification and Verification of Requirements in Construction: Idea, Concept, Implementation. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2026;38(4):201-224. (In Russ.) https://doi.org/10.15514/ISPRAS-2026-38(4)-11
Послать статью по эл. почте 