Mathematical Programming for Anomaly Analysis of Clafer Models

  • Veröffentlicht am: 1 August, 2018 - 15:58
TitelMathematical Programming for Anomaly Analysis of Clafer Models
Publication TypeKonferenzartikel (erschienen)
Year of Publication2018
AuthorsWeckesser, M, Lochau, M, Ries, M, Schürr, A
Conference NameProceedings of the 21th International Conference on Model Driven Engineering Languages and Systems (MODELS)
Pagination34-44
PublisherACM
DOI10.1145/3239372.3239398
Undefined