Enabling correct design and formal analysis of Ambient Assisted Living systems
Benghazi, Kawtar, Hurtado, María V., Hornos, Miguel J., Rodríguez, María L., Rodríguez-Domínguez, Carlos, Pelegrina, Ana B., Rodríguez-Fórtiz, María J.
Published in The Journal of systems and software (01.03.2012)
Published in The Journal of systems and software (01.03.2012)
Get full text
Journal Article