Sciweavers

19 search results - page 1 / 4
» qest 2008
Sort
View
147
Voted
QEST
2008
IEEE
16 years 23 days ago
Recent Extensions to the Stochastic Process Algebra Tool CASPA
Martin Riedl, Johann Schuster, Markus Siegle
149
Voted
QEST
2008
IEEE
16 years 23 days ago
A Tool Supporting Evaluation of Non-markovian Fault Trees
Giacomo Bucci, Laura Carnevali, Enrico Vicario
QEST
2008
IEEE
16 years 23 days ago
Regular Expressions for PCTL Counterexamples
Berteun Damman, Tingting Han, Joost-Pieter Katoen