PARAM: A Model Checker for Parametric Markov Models
Hoofdauteurs: | Hahn, E, Hermanns, H, Wachter, B, Zhang, L |
---|---|
Formaat: | Conference item |
Gepubliceerd in: |
2010
|
Gelijkaardige items
-
INFAMY: An Infinite−State Markov Model Checker
door: Hahn, E, et al.
Gepubliceerd in: (2009) -
SEA-PARAM: Exploring Schedulers in Parametric MDPs
door: Sebastian Arming, et al.
Gepubliceerd in: (2017-07-01) -
Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains
door: Hahn, E, et al.
Gepubliceerd in: (2009) -
Les Páramos d'Espagne et parame (Bretagne)
door: Paul Quentel
Gepubliceerd in: (2013-06-01) -
Surface street network simulation studies using TRANSYT and PARAMICS
door: Ang, Sze Chan
Gepubliceerd in: (2008)