www.prismmodelchecker.org
[GF06c] J. Greifeneder and J. Frey. Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models. In Proc. 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'06), pages 372-379. September 2006. [bib] http://www.eit.uni-kl.de/frey/en/people/Juergen/Publics/papers.html
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications