Using Timed Automata Framework for Modeling Home Care Plans.

Kahina Gani Marinette Bouet Michel Schneider Farouk Toumani

Published in: ICSS (2015)

Keyphrases

lightweight
home care
data model
timed automata
databases
multi agent
domain knowledge
model checking