Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
enseignement:supports_de_cours [27/09/20 22:25] Carole Delporte |
enseignement:supports_de_cours [27/09/20 22:25] Carole Delporte |
||
---|---|---|---|
Ligne 37: | Ligne 37: | ||
* Informatique embarquée-EIDD,Philippe Plasson. Pour le test vendredi 25 septembre à 14h30 https://drive.google.com/drive/folders/17xAJBMQWJCFZqNEnoaxPtKQZ25fmdtV9?usp=sharing .Pour le cours https://drive.google.com/drive/folders/17xAJBMQWJCFZqNEnoaxPtKQZ25fmdtV9?usp=sharing | * Informatique embarquée-EIDD,Philippe Plasson. Pour le test vendredi 25 septembre à 14h30 https://drive.google.com/drive/folders/17xAJBMQWJCFZqNEnoaxPtKQZ25fmdtV9?usp=sharing .Pour le cours https://drive.google.com/drive/folders/17xAJBMQWJCFZqNEnoaxPtKQZ25fmdtV9?usp=sharing | ||
* Ingénierie des protocoles, Stephane Maag,http://www-public.imtbs-tsp.eu/~maag/P7/ | * Ingénierie des protocoles, Stephane Maag,http://www-public.imtbs-tsp.eu/~maag/P7/ | ||
- | * Méthodes Formelles de Vérification, Ahmed Bouajjani, https://www.irif.fr/~abou/cours-mfverif.html | + | * Méthodes Formelles de Vérification, Ahmed Bouajjani, https://www.irif.fr/~abou/cours-mfverif.html |
* Protocoles des services Internet, Carole Delporte, https://www.irif.fr/~cd/Internet.html | * Protocoles des services Internet, Carole Delporte, https://www.irif.fr/~cd/Internet.html | ||
* Programmation synchrone, Adrien Guatto, https://www.irif.fr/~guatto/teaching/20-21/progsync/ | * Programmation synchrone, Adrien Guatto, https://www.irif.fr/~guatto/teaching/20-21/progsync/ |