TU Darmstadt / ULB / TUbiblio

Incremental model checking of delta-oriented software product lines

Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars (2016):
Incremental model checking of delta-oriented software product lines.
85, [Online-Edition: http://dx.doi.org/10.1016/j.jlamp.2015.09.004],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2016
Creators: Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars
Title: Incremental model checking of delta-oriented software product lines
Language: English
Journal or Publication Title: J. Log. Algebr. Meth. Program.
Volume: 85
Number: 1
Divisions: 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
18 Department of Electrical Engineering and Information Technology
Date Deposited: 22 Mar 2017 20:40
Official URL: http://dx.doi.org/10.1016/j.jlamp.2015.09.004
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item