Assurance Case Property Checking with MMINT-A and OCL
| العنوان: | Assurance Case Property Checking with MMINT-A and OCL |
|---|---|
| المؤلفون: | Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik |
| المصدر: | Recent Trends and Advances in Model Based Systems Engineering ISBN: 9783030820824 |
| بيانات النشر: | Springer International Publishing, 2022. |
| سنة النشر: | 2022 |
| ردمك: | 978-3-030-82082-4 |
| DOI: | 10.1007/978-3-030-82083-1_30 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_________::cd1dbd5585e2f7633ca9f3e9c6ab4f3a https://doi.org/10.1007/978-3-030-82083-1_30 |
| Rights: | CLOSED |
| رقم الانضمام: | edsair.doi...........cd1dbd5585e2f7633ca9f3e9c6ab4f3a |
| قاعدة البيانات: | OpenAIRE |
| ردمك: | 9783030820824 |
|---|---|
| DOI: | 10.1007/978-3-030-82083-1_30 |