TU | ULB | Aktuell | Service | Recherche | Fachinformation | Sammlungen | Infos A-Z | Kontakt |

TUbiblio

ULB

TUbiblio

Anmelden

English

Cookie löschen - die Sprache durch die Browsereinstellungen bestimmen

Towards Complete Consistency Checks of Clafer Models

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy :
Towards Complete Consistency Checks of Clafer Models.
[Online-Edition: http://doi.acm.org/10.1145/3141848.3141850]
In: Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, New York, NY, USA. In: FOSD 2017 . ACM , New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2017)

Offizielle URL: http://doi.acm.org/10.1145/3141848.3141850

Typ des Eintrags:	Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen:	2017
Autor(en):	Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy
Titel:	Towards Complete Consistency Checks of Clafer Models
Sprache:	Englisch
Reihe:	FOSD 2017
Ort:	New York, NY, USA
Verlag:	ACM
Freie Schlagworte:	Automated Validation, Clafer, Integer Linear Programming
Fachbereich(e)/-gebiet(e):	18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme 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 > Teilprojekt A4: Selbst-Adaption 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet > A: Konstruktionsmethodik 18 Fachbereich Elektrotechnik und Informationstechnik DFG-Sonderforschungsbereiche (inkl. Transregio)
Veranstaltungstitel:	Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development
Veranstaltungsort:	New York, NY, USA
Hinterlegungsdatum:	15 Mär 2018 13:49
Offizielle URL:	http://doi.acm.org/10.1145/3141848.3141850
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen

Eintrag anzeigen

OAI 2.0-Basis-URL: http://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.