Sold Out
Sold Out
Book Categories |
Advances in Model Representations | 1 | |
Faster and Symbolic CTMC Model Checking | 23 | |
Reachability Analysis of Probabilistic Systems by Successive Refinements | 39 | |
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains | 57 | |
Coin Lemmas with Random Variables | 71 | |
MoDeST - A Modelling and Description Language for Stochastic Timed Systems | 87 | |
Randomization Helps in LTL Model Checking | 105 | |
An Efficient Kronecker Representation for PEPA Models | 120 | |
Reward Based Congruences: Can We Aggregate More? | 136 | |
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes | 152 | |
Expressing Processes with Different Action Durations through Probabilities | 168 | |
Quantifying the Dynamic Behavior of Process Algebras | 184 | |
Implementing a Stochastic Process Algebra within the Mobius Modeling Framework | 200 | |
Author Index | 217 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionProcess Algebra and Probabilistic Methods. Performance Modelling and Verification
X
This Item is in Your InventoryProcess Algebra and Probabilistic Methods. Performance Modelling and Verification
X
You must be logged in to review the productsX
X
X
Add Process Algebra and Probabilistic Methods. Performance Modelling and Verification, This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001. The 12 revised full papers presen, Process Algebra and Probabilistic Methods. Performance Modelling and Verification to the inventory that you are selling on WonderClubX
X
Add Process Algebra and Probabilistic Methods. Performance Modelling and Verification, This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001. The 12 revised full papers presen, Process Algebra and Probabilistic Methods. Performance Modelling and Verification to your collection on WonderClub |