Modèles Temporels
Enseignant : Francois Vernadat (francois@laas.fr)
Support de Cours // Tps
Les Tps utiliseront les logiciels Tina
et UPPPAAL
que vous devez librement telecharger.
Lien video zoom / ID ZOOM : 98327490725
Elts de correction à venir
Readme : Le script scriptLTL permet d'obtenir - via l'outil selt - une sequence menant au scenario desire. L'outil plan permet ensuite d'obtenir un echeancier particulier ou l'ensemble de tous les echeanciers possibles (celui-ci etant infini est decrit par un ensemble de contraintes).
Apres avoir rendu executable le fichier scriptLTL (i.e chmod u+x scriptLTL), il suffit de l'executer ./scriptLTL
Enregistrements
- 05/10 : 08h-09h15
Cours 1 Passcode wS&4RHg9
- 09/10 : 15h30-16h45
Cours 2 Passcode #i!$Fm2s
- 12/10 : 15h30-18h15
Cours 3 et 4 Passcode MM!!QWG1
- 16/10 : 08h00-09h15
Cours 5 Passcode k#22*cFY
- 19/10 : 08h00-09h15
Cours 6 Passcode y9W89j@K