pepa-language

There are 0 repository under pepa-language topic.

/ PEPA-Hospital-Scheduling
pepa-language university-project
/ Stochastic-model-of-a-Key-Distribution-Centre
Stochastic model and analysis of the Key Distribution Centre model, exploiting PEPA specification language.
cryptography pepa-language stochastic-processes lumpability decryption encryption formal-methods key-generation modell system-design matlab
/ Formal_Methods_for_System_Verification
Dynamic server allocation for energy efficiency using stochastic modeling techniques
continuous-time-markov-chain pepa-language dynamic-server-allocation energy-efficiency
Language:TeX