Back to Results
First PageMeta Content
System software / Process calculi / PEPA / Markov models / Software / Markov chain / Workbench / Process calculus / Time series


The PEPA Eclipse Plug-in A modelling, analysis and verification platform for PEPA Adam Duguid, Stephen Gilmore, Michael Smith and Mirco Tribastone Wednesday 01 December 2010
Add to Reading List

Document Date: 2010-12-01 06:26:33


Open Document

File Size: 853,10 KB

Share Result on Facebook