Biblio

Export 3 results:
Sort by: Author Keyword Title Type [ Year  (Desc)]
Filters: Author is Lars Luthmann  [Clear All Filters]
2016
2015
Luthmann, L., S. Mennicke, and M. Lochau, "Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata", International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2016), London, UK, EPTCS, 04/2015. Abstract