Sciweavers

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