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]
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 |
Optionen (nur für Redakteure)
 |
View Item |
Drucken
Impressum