QFLan: A tool for the quantitative analysis of highly reconfigurable systems

Autor: Legay, Axel, Vandin, Andrea, H. ter Beek, Maurice, Lluch Lafuente, Alberto, FM 2018 : 22nd International Symposium on Formal Methods

Publikováno v: Formal Methods ISBN: 9783319955810
FM
22nd International Symposium on Formal Methods (FM'18), pp. 329–337, Oxford, UK, 15-17/07/2018
info:cnr-pdr/source/autori:Vandin A.; ter Beek M.H.; Legay A.; Lluch Lafuente A./congresso_nome:22nd International Symposium on Formal Methods (FM'18)/congresso_luogo:Oxford, UK/congresso_data:15-17%2F07%2F2018/anno:2018/pagina_da:329/pagina_a:337/intervallo_pagine:329–337
Vandin, A, Ter Beek, M H, Legay, A & Lluch Lafuente, A 2018, QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems . in K H, J P, B R & E D V (eds), Formal Methods . Springer, Lecture Notes in Computer Science, vol. 10951, pp. 329-337, Federated Logic Conference 2018, Oxford, United Kingdom, 15/07/2018 . https://doi.org/10.1007/978-3-319-95582-7_19
Formal Methods, (2018)

QFLan offers modeling and analysis of highly reconfigurable systems, like product lines, which are characterized by combinatorially many system variants (or products) that can be obtained via different combinations of installed features. The tool off

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fb9fe6dc37510da5b2beab1aacd240c0
http://hdl.handle.net/11382/534294