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

  • Catalin Dima

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award2010
Original languageEnglish
SupervisorPIERRE-YVES SCHOBBENS (Jury)

Cite this

'