%0 Journal Article %1 journals/jss/AkhlakiHHRRPR12 %A Akhlaki, Kawtar Benghazi %A Hurtado, María Visitación %A Hornos, Miguel J. %A Rodríguez, María Luisa %A Rodríguez-Domínguez, Carlos %A Ortiz, Ana Belén Pelegrina %A Rodríguez-Fórtiz, María José %D 2012 %J J. Syst. Softw. %K dblp %N 3 %P 498-510 %T Enabling correct design and formal analysis of Ambient Assisted Living systems. %U http://dblp.uni-trier.de/db/journals/jss/jss85.html#AkhlakiHHRRPR12 %V 85

@article{journals/jss/AkhlakiHHRRPR12, added-at = {2023-03-21T00:00:00.000+0100}, author = {Akhlaki, Kawtar Benghazi and Hurtado, María Visitación and Hornos, Miguel J. and Rodríguez, María Luisa and Rodríguez-Domínguez, Carlos and Ortiz, Ana Belén Pelegrina and Rodríguez-Fórtiz, María José}, biburl = {https://www.bibsonomy.org/bibtex/2bfc89f95ad094266057f2137f823c8b8/dblp}, ee = {https://doi.org/10.1016/j.jss.2011.05.022}, interhash = {83478912cbb1b20efce65ccee66fffd9}, intrahash = {bfc89f95ad094266057f2137f823c8b8}, journal = {J. Syst. Softw.}, keywords = {dblp}, number = 3, pages = {498-510}, timestamp = {2024-04-09T03:36:54.000+0200}, title = {Enabling correct design and formal analysis of Ambient Assisted Living systems.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss85.html#AkhlakiHHRRPR12}, volume = 85, year = 2012 }