Application à la méthode B d'éléments de logique temporelle ATL

  • Antoine Safin

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Résumé

    la date de réponse2006
    langue originaleAnglais
    SuperviseurPIERRE-YVES SCHOBBENS (Promoteur)

    Contient cette citation

    '