L. Herbert

Using Stochastic Model Checking to Provision Complex Business Services

R. Sharp, L. Herbert, L. Herbert, 2012, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering.