Elena V. Makisha

According to our database, Elena V. Makisha authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2024

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

Vitaly A. Semenov, Sergey V. Morozov, Semyon V. Arishin, Olga N. Kuzina, Vladimir I. Rimshin, Elena V. Makisha

Program. Comput. Softw., October, 2024