Etienne Borde (etienne.borde@telecom-paristech.fr)
vous trouverez le sujet du td au format pdf ici.
vous trouverez la spécification originale du système pacemaker au format pdf ici.
vous trouverez le support de cours AADL au format pdf ici.
vous trouverez la correction du td au format pdf ici.