Now showing documents 1-2 of 2

    • Vérification et validation de politiques de contrôle d'accès dans le domaine médical

      Huynh, Nghi (Université de Sherbrooke, 2016)
      Dans le domaine médical, la numérisation des documents et l’utilisation des dossiers patient électroniques (DPE, ou en anglais EHR pour Electronic Health Record) offrent de nombreux avantages, tels que la facilité de ...
    • Vérification formelle de systèmes d'information

      Chane-Yack-Fa, Raphaël (Université de Sherbrooke, 2018)
      Cette thèse s'intéresse à l'étude des méthodes formelles de spécification et de vérification dans le cadre des systèmes d'information. Les systèmes d'informations sont des systèmes dynamiques constitués d'entités et ...