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.
Aldizkaria:
Journal of Systems and Software

ISSN: 0164-1212

Argitalpen urtea: 2012

Alea: 85

Zenbakia: 3

Orrialdeak: 498-510

Mota: Artikulua

DOI: 10.1016/J.JSS.2011.05.022 GOOGLE SCHOLAR

Garapen Iraunkorreko Helburuak

Datuen iturria: Scopus