Stochastic Model Checking of the Stochastic Quality Calculus

@inproceedings{Nielson2015StochasticMC,
  title={Stochastic Model Checking of the Stochastic Quality Calculus},
  author={Flemming Nielson and Hanne Riis Nielson and Kebin Zeng},
  booktitle={Software, Services, and Systems},
  year={2015}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-3 of 3 extracted citations

Semantics, Logics, and Calculi

Lecture Notes in Computer Science • 2016
View 6 Excerpts
Highly Influenced

Schedulers are no Prophets

Semantics, Logics, and Calculi • 2016
View 3 Excerpts

Similar Papers

Loading similar papers…