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

  • Catalin Dima

Student thesis: Master types › Master en sciences informatiques

la date de réponse2010
langue originaleAnglais
SuperviseurPierre Yves Schobbens (Jury)

Contient cette citation

'