Filter your results
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
|
|
sorted by
|
Compositional Verification of Software Product LinesiFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. pp.109-123, ⟨10.1007/978-3-642-38613-8_8⟩
Conference papers
istex
hal-00799108v1
|
|||
|
Compositional Verification of Evolving SPL[Research Report] RR-8125, INRIA. 2012, pp.34
Reports
hal-00747533v1
|
||
|
Traceability analyses between features and assets in software product linesEntropy, 2016, 18 (8), pp.269. ⟨10.3390/e18080269⟩
Journal articles
hal-01342351v1
|