Now showing documents 1-1 of 1

    • Preuve de propriétés dynamiques en B

      Diagne, Fama (Université de Sherbrooke, 2013)
      Résumé: Les propriétés que l'on souhaite exprimer sur les applications système d'information ne peuvent se restreindre aux propriétés statiques, dites propriétés d'invariance, qui portent sur des états du système pris au ...