Statistical Model Checking of Response Times for Different System Deployments.

Bernhard K. Aichernig, Severin Kann, Richard Schumi

Browse the full SETTA paper archive.