www.prismmodelchecker.org
[RAFL10] G. N. Rodrigues, V. Alves, R. Franklin and L. Laranjeira. Dependability Analysis in the Ambient Assisted Living Domain: an Exploratory Case Study. In Proc. 4th Brazilian Symposium on Software Components, Architectures and Reuse, pages 150-159. 2010. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications