Mathematical Programming for Anomaly Analysis of Clafer Models
| Title | Mathematical Programming for Anomaly Analysis of Clafer Models |
| Publication Type | Konferenzartikel (erschienen) |
| Year of Publication | 2018 |
| Authors | Weckesser, M, Lochau, M, Ries, M, Schürr, A |
| Conference Name | Proceedings of the 21th International Conference on Model Driven Engineering Languages and Systems (MODELS) |
| Pagination | 34-44 |
| Publisher | ACM |
| DOI | 10.1145/3239372.3239398 |
Undefined