TU Darmstadt / ULB / TUbiblio

Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications

Göttmann, Hendrik ; Bacher, Isabelle ; Gottwald, Nicolas ; Lochau, Malte
Hrsg.: Grünbacher, Paul ; Seidl, Christoph ; Dhungana, Deepak ; Lovasz-Bukvova, Helena (2021)
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems. Virtual Event / Krems, Austria (09.-11.02.2021)
doi: 10.1145/3442391.3442409
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2021
Herausgeber: Grünbacher, Paul ; Seidl, Christoph ; Dhungana, Deepak ; Lovasz-Bukvova, Helena
Autor(en): Göttmann, Hendrik ; Bacher, Isabelle ; Gottwald, Nicolas ; Lochau, Malte
Art des Eintrags: Bibliographie
Titel: Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications
Sprache: Englisch
Publikationsjahr: 2021
Verlag: ACM
Buchtitel: Proceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems
Reihe: International Conference Proceeding Series
Veranstaltungstitel: VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems
Veranstaltungsort: Virtual Event / Krems, Austria
Veranstaltungsdatum: 09.-11.02.2021
DOI: 10.1145/3442391.3442409
Zusätzliche Informationen:

Art.No.: 17

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
Hinterlegungsdatum: 17 Feb 2021 08:48
Letzte Änderung: 17 Feb 2021 08:48
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen