Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing. Statistical Model Checking for Composite Actor Systems. Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spai
HAL Archives-Ouvertes,
Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing. Statistical Model Checking for Composite Actor Systems.