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

  • Antoine Safin

    Student thesis: Master typesMaster en sciences informatiques

    Résumé

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

    Contient cette citation

    '