Formal Modeling and Analysis of Home Care Plans.

Kahina Gani, Marinette Bouet, Michel Schneider, Farouk Toumani

Browse the full ICSOC paper archive.