A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions †

Since modern ambient assisted living solutions integrate a multitude of assisted-living functionalities, out of which some are safety critical, it is desirable that these systems are analyzed at their design stage to detect possible errors. To achieve this, one needs suitable architectures that supp...

Descripción completa

Detalles Bibliográficos
Autores principales: Kunnappilly, Ashalatha, Marinescu, Raluca, Seceleanu, Cristina
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2019
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6891629/
https://www.ncbi.nlm.nih.gov/pubmed/31752450
http://dx.doi.org/10.3390/s19225057

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6891629/
https://www.ncbi.nlm.nih.gov/pubmed/31752450
http://dx.doi.org/10.3390/s19225057

Ejemplares similares