TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

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)

Lochau, Malte and Mennicke, Stephan and Baller, Hauke and 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) .
[Conference or Workshop Item] , (2014)

This list was generated on Sat Apr 20 01:34:45 2019 CEST.