Enabling correct design and formal analysis of Ambient Assisted Living systems
- Benghazi, K.
- Hurtado, M.V.
- Hornos, M.J.
- Rodríguez, M.L.
- Rodríguez-Domínguez, C.
- Pelegrina, A.B.
- Rodríguez-Fórtiz, M.J.
ISSN: 0164-1212
Year of publication: 2012
Volume: 85
Issue: 3
Pages: 498-510
Type: Article