TU Darmstadt / ULB / TUbiblio

Incremental model checking of delta-oriented software product lines

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

Official URL: http://dx.doi.org/10.1016/j.jlamp.2015.09.004
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:

Optionen (nur für Redakteure)

View Item View Item