Compositional performance modelling with the TIPPtool
From MaRDI portal
Publication:4779362
DOI10.1016/S0166-5316(99)00056-5zbMath1052.68553MaRDI QIDQ4779362
No author found.
Publication date: 24 June 2003
Published in: Performance Evaluation (Search for Journal in Brave)
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
Related Items
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking, Process algebra for performance evaluation, On the use of MTBDDs for performability analysis and verification of stochastic systems., Approximate mean value analysis based on Markov chain aggregation by composition