Login / Signup
Modeling a Risk Detection System for Elderly's Home-Care with a Network of Timed Automata.
Isabel Navarrete
José A. Rubio
Juan A. Botía
José T. Palma
Francisco Campuzano
Published in:
IWAAL (2012)
Keyphrases
</>
home care
timed automata
health care
layered architecture
model checking
computer networks
network structure
patient data
data mining
artificial intelligence
bayesian networks
multi agent
human computer interaction
real time systems