.gif)
] Filters: Author is Lars Ribbeck [Clear All Filters]
"Incremental model checking of delta-oriented software product lines",
Journal of Logical and Algebraic Methods in Programming, vol. 85, no. 1: Elsevier, 01/2016.
Abstract
"DeltaCCS: A Core Calculus for Behavioral Change",
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium (ISoLA 2014), Corfu, Greece, Springer Berlin Heidelberg, 09/2014.
Abstract