Items where Author is "Legay, Axel"
Number of items: 8. Leter 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) Llter 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) Teter 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) Vater 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) |
