View of Modeling and Analysis of Probabilistic Real-time Systems through Integrating Event-B and Probabilistic Model Checking

Return to Article Details Modeling and Analysis of Probabilistic Real-time Systems through Integrating Event-B and Probabilistic Model Checking Download Download PDF