Cargando…
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...
| Autores principales: | , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
MDPI
2019
|
| Materias: | |
| 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 |