31 search results - page 7 / 7 » Stochastic Games for Verification of Probabilistic Timed Aut... |
176
click to vote
ENTCS
2008
15 years 5 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...