-
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
Modélisation des processus communicants
Options d’inscription
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.