Sciweavers

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