Logo eprints

Items where Author is "Legay, Axel"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: Le | Ll | Te | Va
Number of items: 8.

Le

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, M.H. and Legay, Axel and Lluch-Lafuente, Alberto and Vandin, Andrea Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints. In: Proceedings of the 19th International Conference on Software Product Line, 2015, New York, USA pp. 11-15. ISBN 978-1-4503-3613-0. (2015)

Ll

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, M.H. and Legay, Axel and Lluch-Lafuente, Alberto and Vandin, Andrea Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints. In: Proceedings of the 19th International Conference on Software Product Line, 2015, New York, USA pp. 11-15. ISBN 978-1-4503-3613-0. (2015)

Te

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, M.H. and Legay, Axel and Lluch-Lafuente, Alberto and Vandin, Andrea Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints. In: Proceedings of the 19th International Conference on Software Product Line, 2015, New York, USA pp. 11-15. ISBN 978-1-4503-3613-0. (2015)

Va

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, M.H. and Legay, Axel and Lluch-Lafuente, Alberto and Vandin, Andrea Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints. In: Proceedings of the 19th International Conference on Software Product Line, 2015, New York, USA pp. 11-15. ISBN 978-1-4503-3613-0. (2015)

This list was generated on Thu Jul 7 10:23:18 2022 CEST.