TU Darmstadt / ULB / TUbiblio

Mathematical Programming for Anomaly Analysis of Clafer Models

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; 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.
[Konferenz- oder Workshop-Beitrag] , (2018)

Offizielle URL: http://doi.acm.org/10.1145/3239372.3239398
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2018
Autor(en): Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy
Titel: Mathematical Programming for Anomaly Analysis of Clafer Models
Sprache: Englisch
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik
DFG-Sonderforschungsbereiche (inkl. Transregio)
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet > A: Konstruktionsmethodik
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet > A: Konstruktionsmethodik > Teilprojekt A4: Selbst-Adaption
Veranstaltungstitel: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018
Hinterlegungsdatum: 09 Nov 2018 11:22
DOI: 10.1145/3239372.3239398
Offizielle URL: http://doi.acm.org/10.1145/3239372.3239398
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen