![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
6th FMSPLE@ETAPS 2015: London, UK
- Joanne M. Atlee, Stefania Gnesi:
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015. EPTCS 182, 2015 - Lars Luthmann
, Stephan Mennicke
, Malte Lochau:
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata. 1-13 - Tessa Belder, Maurice H. ter Beek
, Erik P. de Vink:
Coherent branching feature bisimulation. 14-30 - Uwe Lesta, Ina Schaefer, Tim Winkelmann:
Detecting and Explaining Conflicts in Attributed Feature Models. 31-43 - Thi-Kim-Zung Pham, Catherine Dubois, Nicole Lévy
:
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules. 44-55 - Maurice H. ter Beek
, Axel Legay, Alberto Lluch-Lafuente
, Andrea Vandin
:
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. 56-70 - Ian D. Peake, Jan Olaf Blech
, Lasith Fernando, Divyasheel Sharma, Srini Ramaswamy, Mallikarjun Kande:
Analysis of Software Binaries for Reengineering-Driven Product Line Architecture - An Industrial Case Study. 71-82
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.