@inproceedings{ Benghazi-Akhlaki_HURTADO_RODRIGUEZ_NOGUERA:381-390,

author = { Kawtar Benghazi-Akhlaki and MARIA VISITACION HURTADO TORRES and MARIA LUISA RODRIGUEZ ALMENDROS and MANUEL NOGUERA GARCÍA } ,

title = { APPLYING FORMAL VERIfiCATION TECHNIQUES TO AMBIENT ASSISTED LIVING SYSTEMS },

booktitle = { INTERNATIONAL WORKSHOP ON SYSTEM/SOFTWARE ARCHITECTURES (8) (8.2009.VILAMOURA, PORTUGAL) },

year = { 2009 },

isbn = { 3-642-05289-4 },

pages = { 381 - 390 },

location = { VILAMOURA, PORTUGAL },

}