TU Darmstadt / ULB / TUbiblio

A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines

Benduhn, Fabian ; Thüm, Thomas ; Lochau, Malte ; Leich, Thomas ; Saake, Gunter :
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
[Online-Edition: http://doi.acm.org/10.1145/2701319.2701332]
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems
[Konferenz- oder Workshop-Beitrag], (2015)

Offizielle URL: http://doi.acm.org/10.1145/2701319.2701332
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2015
Autor(en): Benduhn, Fabian ; Thüm, Thomas ; Lochau, Malte ; Leich, Thomas ; Saake, Gunter
Titel: A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines
Sprache: Englisch
Buchtitel: Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik > Echtzeitsysteme
Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 09 Feb 2016 08:22
Offizielle URL: http://doi.acm.org/10.1145/2701319.2701332
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen