First Page | Document Content | |
---|---|---|
Date: 2010-12-01 06:26:33System 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 2010Add to Reading ListSource URL: www.dcs.ed.ac.ukDownload Document from Source WebsiteFile Size: 853,10 KBShare Document on Facebook |