SE206

Vous trouverez ci-dessous les supports de cours utilisés, par tranche horaire (TH):

TH1: Cours d’introduction au module

TH2: Vérification du matériel

TH5: Introduction au model-checking

TH6: Introduction à l’analyse de temps de réponse

TH9: AADL, introduction et analyse de temps de latence

TH13: créer son langage de modélisation avec EMF

(Les liens vers les supports vont être mis à jour au fur et à mesure)