« IV » : différence entre les versions
Aller à la navigation
Aller à la recherche
m (suppression lien visio) |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
Interaction et vérification | Interaction et vérification | ||
<!-- | |||
T. Duval ([https://sites.google.com/site/thierryduvalwebsite/ site web] - [https://sites.google.com/site/thierryduvalwebsite/teaching/telecom-bretagne/ pages enseignement]) | T. Duval ([https://sites.google.com/site/thierryduvalwebsite/ site web] - [https://sites.google.com/site/thierryduvalwebsite/teaching/telecom-bretagne/ pages enseignement]) | ||
| Ligne 16 : | Ligne 18 : | ||
** Spécification ascenseur ([[Média:Fiche6_TP_ModVal_UPPAAL_Ascenseur_22nov17.pdf|pdf]]) | ** Spécification ascenseur ([[Média:Fiche6_TP_ModVal_UPPAAL_Ascenseur_22nov17.pdf|pdf]]) | ||
* C4 : Questions de recherche ([[Média: CM3_ResearchQuestions.pdf|pdf]]) | * C4 : Questions de recherche ([[Média: CM3_ResearchQuestions.pdf|pdf]]) | ||
--> | |||
Version du 6 septembre 2021 à 07:47
Interaction et vérification