TU Darmstadt / ULB / TUbiblio

Mathematical Programming for Anomaly Analysis of Clafer Models

Weckesser, Markus and Lochau, Malte and Ries, Michael and Schürr, Andy :
Mathematical Programming for Anomaly Analysis of Clafer Models.
[Online-Edition: http://doi.acm.org/10.1145/3239372.3239398]
In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018.
[Conference or Workshop Item] , (2018)

Official URL: http://doi.acm.org/10.1145/3239372.3239398
Item Type: Conference or Workshop Item
Erschienen: 2018
Creators: Weckesser, Markus and Lochau, Malte and Ries, Michael and Schürr, Andy
Title: Mathematical Programming for Anomaly Analysis of Clafer Models
Language: English
Divisions: 18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
DFG-Collaborative Research Centres (incl. Transregio)
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet > A: Construction Methodology
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet > A: Construction Methodology > Subproject A4: Self-Adaptation
Event Title: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018
Date Deposited: 09 Nov 2018 11:22
DOI: 10.1145/3239372.3239398
Official URL: http://doi.acm.org/10.1145/3239372.3239398
Export:

Optionen (nur für Redakteure)

View Item View Item