![]() | Ebene hoch |
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)
[
Konferenzveröffentlichung]
, (2016)
Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars
:
DeltaCCS: A Core Calculus for Behavioral Change.
In: Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation.
In: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
.
[
Konferenzveröffentlichung]
, (2014)