Now showing documents 1-1 of 1

    • 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 ...