QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems.

Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente

Browse the full FM paper archive.