Publikationen
Im Folgenden finden Sie Informationen zu Publikationen des Instituts, die über das Forschungsinformationssystem der TU Dresden bereitgestellt werden. Für umfassende Informationen zu Veröffentlichungen der Arbeitsgruppen des Instituts besuchen Sie bitte die Seiten der jeweiligen Professuren.
Variability-Aware Safety Analysis using Delta Component Fault Diagrams
Typ der Veröffentlichung
Konferenzbeitrag
Veröffentlicht in
Proceedings of the 4th International Workshop on Formal Methods and Analysis
in Software Product Line Engineering (FMSPLE)
Jahrgang/Erscheinungsjahr
2013
Referiert
Nein
Berichtsjahr
2013
Export