|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 4 van 7 gevonden artikelen
| Titel: |
Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language |
| Auteur: |
Semenov, V. A. Morozov, S. V. Arishin, S. V. Kuzina, O. N. Rimshin, V. I. Makisha, E. V. |
| Verschenen in: |
Programming and computer software |
| Paginering: | Jaargang 50 () nr. 5 pagina's 376-391 |
| Jaar: |
2024-09-26 |
| Inhoud: | |
| Uitgever: |
Pleiades Publishing, Moscow |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 7 gevonden artikelen
| << vorige | volgende >> |