登録オプション

MP:S8MI031 Modélisation des processus communicants


  • Bases mathématiques de la modélisation des systèmes/procussus communicants.
  • Concepts et formalismes de modélisation de processus.
  • Le langage Lotos et la plateforme CADP


このコースにゲストはアクセスできません。ログインしてください。