|
[RASL12]
Genaína Nunes Rodrigues, Vander Alves, Renato Silveira and Luiz A. Laranjeira.
Dependability Analysis in the Ambient Assisted Living Domain: An Exploratory Case Study.
Journal of Systems and Software, 85(1), pages 112-131.
2012.
[bib]
[Uses PRISM to analyse dependability properties of Ambient Assisted Living systems.]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|