« IV » : différence entre les versions

De Parcours SIIA
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