XBorne tool, a software tool for the probabilistic modeling with Markov chains, 2017.
-
Updated
Nov 13, 2024 - C
#
lumpability
Here are 2 public repositories matching this topic...
Stochastic model and analysis of the Key Distribution Centre model, exploiting PEPA specification language.
cryptography encryption matlab formal-methods decryption stochastic-processes key-generation system-design modell pepa-language lumpability
-
Updated
Dec 14, 2023
Improve this page
Add a description, image, and links to the lumpability topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the lumpability topic, visit your repo's landing page and select "manage topics."