Using Timed Automata Framework for Modeling Home Care Plans. | 0 | 0.34 | 2015 |
Formal Modeling and Analysis of Home Care Plans. | 1 | 0.36 | 2014 |
A general model for specifying near periodic recurrent activities - application to home care activities. | 4 | 0.57 | 2013 |