机译:Efficient Parametric Model Checking Using Domain Knowledge
School of Engineering, Computer and Mathematical Sciences, Auckland University of Technology, Auckland, New Zealand;
Department of Computer Science, University of York, Heslington, York, United Kingdom;
Markov processes; Quality of service; Analytical models; Unified modeling language; Software; Probabilistic logic; Parametric statistics;