#

pepa-language

Here are 3 public repositories matching this topic...

FabioDainese / Formal_Methods_for_System_Verification

Dynamic server allocation for energy efficiency using stochastic modeling techniques

energy-efficiency continuous-time-markov-chain pepa-language dynamic-server-allocation

Updated Dec 12, 2019
TeX

bara96 / PEPA-Hospital-Scheduling

university-project pepa-language

Updated Aug 20, 2021

NicolaAggio / Stochastic-model-of-a-Key-Distribution-Centre

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 pepa-language topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the pepa-language topic, visit your repo's landing page and select "manage topics."