Items where Author is "ter Beek, Maurice H."
Number of items: 3. 2016ter Beek, Maurice H. and Melgratti, Hernán C. and Torres Vieira, Hugo (edited by) Proceedings of the 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP). In: 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP) pp. 1588-1589. ISBN 978-145033739-7. (2016) 2015ter 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) 2013ter 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) |
