Publication | Closed Access

PEPA nets: a structured performance modelling formalism

EngineeringFormal ModelingPerformance ModelingFormal MethodsComputer ArchitectureSystems EngineeringComputer SciencePepa NetsPerformance EngineeringFormal VerificationSystem SoftwareSoftware Design