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

  • Catalin Dima

Student thesis: Master typesMaster en sciences informatiques

Résumé

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

Contient cette citation

'