TU Darmstadt / ULB / TUbiblio

Incremental model checking of delta-oriented software product lines

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; 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)
[Konferenz- oder Workshop-Beitrag], (2016)

Offizielle URL: http://dx.doi.org/10.1016/j.jlamp.2015.09.004
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2016
Autor(en): Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars
Titel: Incremental model checking of delta-oriented software product lines
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: J. Log. Algebr. Meth. Program.
Band: 85
(Heft-)Nummer: 1
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme
Hinterlegungsdatum: 22 Mär 2017 20:40
Offizielle URL: http://dx.doi.org/10.1016/j.jlamp.2015.09.004
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen