Crossmark

Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language

Crossref DOI link: https://doi.org/10.1134/S036176882470018X

Published Online: 2024-09-26

Published Print: 2024-10

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Semenov, V. A. http://orcid.org/0000-0002-8766-8454
Morozov, S. V. http://orcid.org/0000-0002-0211-2300
Arishin, S. V. http://orcid.org/0000-0001-6128-7082
Kuzina, O. N. http://orcid.org/0000-0002-1671-7300
Rimshin, V. I. http://orcid.org/0000-0002-9084-4105
Makisha, E. V. http://orcid.org/0000-0003-1907-634X
License Information

Text and Data Mining valid from 2024-09-26

Version of Record valid from 2024-09-26
More Information

Article History

Received: 23 April 2024

Revised: 3 May 2024

Accepted: 3 May 2024

First Online: 26 September 2024

CONFLICT OF INTEREST

: The authors of this work declare that they have no conflicts of interest.