de l'École Polytechnique
-
21
pages
-
Français
-
Documents
-
1999
Écrit par
Jérôme Feret
Publié par
chaeh
-
21
pages
-
Français
-
Documents
-
1999
Description
Niveau: Supérieur
Laboratoire d'Informatique de l'École Polytechnique Conception de -sa : un analyseur statique générique pour le -calcul Jérôme Feret sous la direction de : Radhia Cousot Arnaud Venet le 14 septembre 1999
Laboratoire d'Informatique de l'École Polytechnique Conception de -sa : un analyseur statique générique pour le -calcul Jérôme Feret sous la direction de : Radhia Cousot Arnaud Venet le 14 septembre 1999
- intermédiaire de canaux
- sémantique collectrice
- canal-entrée
- processus
- exécution disjonctive
- topologie du réseau
- protocoles d'échange de clefs
-
Publié par
-
Publié le
01 septembre 1999
-
Langue
Français
Ajouté à mes notifications
Vous serez informé des prochaines publications.