module `` validation de systèmes dynamiques discrets ''

  durée : 50 heures Objectifs : Connaître les méthodes de description de systèmes à évènements discrets, les algorithmes permettant la résolution des problèmes liés à l'exécution concurrente des processus en environnement centralisé ou distribué, connaître les propriétés et les techniques de preuve de ces algorithmes.