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

Göttmann, Hendrik ; Bacher, Isabelle ; Gottwald, Nicolas ; Lochau, Malte
eds.: 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
Conference or Workshop Item, Bibliographie

Item Type:	Conference or Workshop Item
Erschienen:	2021
Editors:	Grünbacher, Paul ; Seidl, Christoph ; Dhungana, Deepak ; Lovasz-Bukvova, Helena
Creators:	Göttmann, Hendrik ; Bacher, Isabelle ; Gottwald, Nicolas ; Lochau, Malte
Type of entry:	Bibliographie
Title:	Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications
Language:	English
Date:	2021
Publisher:	ACM
Book Title:	Proceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems
Series:	International Conference Proceeding Series
Event Title:	VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems
Event Location:	Virtual Event / Krems, Austria
Event Dates:	09.-11.02.2021
DOI:	10.1145/3442391.3442409
Additional Information:	Art.No.: 17
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
Date Deposited:	17 Feb 2021 08:48
Last Modified:	17 Feb 2021 08:48
PPN:
Export:

Suche nach Titel in:	TUfind oder in Google

Send an inquiry

Options (only for editors)

Show editorial Details

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

Drucken |

Impressum |

Datenschutzerklärung