MGL7160: Matériel additionnel à imprimer
Exercices sur logique temporelle: 27 mars
- Énoncé du problème et solution:
Exercice LOTOS: 20 mars
Copies des transparents pour la partie V
- Chapitre 15: Les transactions Spec
- Chapitre 16: Le langage LOTOS
- Chapitre 17: Spécifications de
propriétés à l'aide de la logique
temporelle
Notes de cours pour la partie V: Systèmes réactifs
et concurrents (67 pages)