Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars (2016):
Incremental model checking of delta-oriented software product lines.
85, pp. 245-267, [Conference or Workshop Item]
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: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |