Logo eprints

Browse by Author ID

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

Conference or Workshop Item

ter Beek, Maurice H. and Legay, Axel and Lluch Lafuente, Alberto and Vandin, Andrea Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking. In: 6th Workshop on Formal Methods and Analysis in SPL Engineering, April 11, 2015, London, UK pp. 56-70. ISSN 2075-2180. (2015)

ter Beek, Maurice H. and Lluch-Lafuente, Alberto and Petrocchi, Marinella Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. In: 4th Int'l Workshop on Formal Methods and Analysis in Software Product Line Eng. (FMSPLE 2013) (2013)

This list was generated on Thu Mar 28 20:24:43 2024 CET.