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.02.2021-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.02.2021-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

Optionen (nur für Redakteure)

Redaktionelle Details anzeigen

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

Drucken |

Impressum |

Datenschutzerklärung