« IV » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 11 : | Ligne 11 : | ||
C. Teodorov & Luka Le Roux | C. Teodorov & Luka Le Roux | ||
* C1 : Langages et Automates [http://www.ensta-bretagne.fr/teodorov/cours/CM1_Automates.pdf] | * C1 : Langages et Automates [http://www.ensta-bretagne.fr/teodorov/cours/CM1_Automates.pdf] | ||
* C2 : Travail pratique ([[Média:SujetTD_automates | * C2 : Travail pratique ([[Média:SujetTD_automates.pdf|pdf]]) | ||
* C3 : Cours UPPAAL et TP ([[Média:Cours_Validation_UPPAAL.zip|zip]]) et documentation UPPAAL ([[Média:Doc_Exemples_Uppaal.zip|zip]]) | * C3 : Cours UPPAAL et TP ([[Média:Cours_Validation_UPPAAL.zip|zip]]) et documentation UPPAAL ([[Média:Doc_Exemples_Uppaal.zip|zip]]) | ||
** Téléchargement UPPAAL 4.0 [http://www.it.uu.se/research/group/darts/uppaal/download.shtml ici] | ** Téléchargement UPPAAL 4.0 [http://www.it.uu.se/research/group/darts/uppaal/download.shtml ici] | ||
** 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 20 octobre 2020 à 07:43
Interaction et vérification
T. Duval (site web - pages enseignement)
A. Beugnard
- C1 : Généralités sur les interactions, interfaces et architecture -- (pdf)
- C2 : Interactions élémentaires à 2 ou plus -- (pdf)
- C3 : Eléments de spécification, diagrammes -- (pdf)
- Comparaison de la redéfinition et de la liaison dynamique entre langages ([1])
C. Teodorov & Luka Le Roux