Using timed automata formalism for modeling and analyzing home care plans

Dans cette thèse nous nous sommes intéressés aux problèmes concernant la conception et la gestion des plans de soins à domicile. Un plan de soins à domicile définit l'ensemble des activités médicales et/ou sociales qui sont menées jour après jour au domicile d'un patient. Ce plan de soins...

Full description

Bibliographic Details
Main Author: Gani, Kahina
Other Authors: Clermont-Ferrand 2
Language:en
Published: 2015
Subjects:
Online Access:http://www.theses.fr/2015CLF22628/document