Автор туралы ақпарат
Morozov, S. V.
| Шығарылым | Бөлім | Атауы | Файл |
| № 5 (2024) | THEORETICAL COMPUTER SCIENCE: FORMAL MODELS AND SEMANTICS | Formal specification and verification of requirements in architecture and construction using the EXPRESS modeling language |