Automates et logique pour la vérification de systèmes temps réel et multi-agents
: HDR

  • Catalin Dima

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

Résumé

la date de réponse2010
langue originaleAnglais
SuperviseurPIERRE-YVES SCHOBBENS (Jury)

Contient cette citation

'