Formal Modeling and Analysis of Home Care Plans - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Formal Modeling and Analysis of Home Care Plans

Kahina Gani
  • Fonction : Auteur
  • PersonId : 774087
  • IdRef : 193473062
Marinette Bouet
Michel Schneider
  • Fonction : Auteur
  • PersonId : 1011812

Dates et versions

hal-02078290 , version 1 (25-03-2019)

Identifiants

Citer

Kahina Gani, Marinette Bouet, Michel Schneider, Farouk Toumani. Formal Modeling and Analysis of Home Care Plans. Service-Oriented Computing - 12th International Conference, 2014, Paris, France. pp.494--501, ⟨10.1007/978-3-662-45391-9_41⟩. ⟨hal-02078290⟩
25 Consultations
0 Téléchargements

Altmetric

Partager

More