A Logic for the Statistical Model Checking of Dynamic Software Architectures.

Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flvio Oquendo, Thas Batista, Axel Legay

Browse the full ISoLA paper archive.