Enabling correct design and formal analysis of Ambient Assisted Living systems

  1. Benghazi, K.
  2. Hurtado, M.V.
  3. Hornos, M.J.
  4. Rodríguez, M.L.
  5. Rodríguez-Domínguez, C.
  6. Pelegrina, A.B.
  7. Rodríguez-Fórtiz, M.J.
Revista:
Journal of Systems and Software

ISSN: 0164-1212

Año de publicación: 2012

Volumen: 85

Número: 3

Páginas: 498-510

Tipo: Artículo

DOI: 10.1016/J.JSS.2011.05.022 GOOGLE SCHOLAR
Fuente de los datos: Scopus