Jonathan Bogdoll, Luis Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns. Partial Order Methods for Statistical Model Checking and Simulation. Roberto Bruni; Juergen Dingel. 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS
HAL Archives-Ouvertes,
Jonathan Bogdoll, Luis Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns. Partial Order Methods for Statistical Model Checking…