Sciweavers

17 search results - page 1 / 4
» qest 2009
Sort
View
84
Voted
QEST
2009
IEEE
15 years 8 months ago
Petri Net Analysis Using Decision Diagrams
Gianfranco Ciardo
91
Voted
QEST
2009
IEEE
15 years 8 months ago
An Introduction to Monte Carlo Methods and Rare Event Simulation
Gerardo Rubino, Bruno Tuffin
80
Voted
QEST
2009
IEEE
15 years 8 months ago
COBAREA: The COpula-BAsed REliability and Availability Modeling Environment
Max Walter, Sebastian Esch, Philipp Limbourg
88
Voted
QEST
2009
IEEE
15 years 8 months ago
The Bio-PEPA Tool Suite
Federica Ciocchetta, Adam Duguid, Stephen Gilmore,...