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
Datum der Publikation: 2012
Ausgabe: 85
Nummer: 3
Seiten: 498-510
Art: Artikel