> Formation > Cursus ingénieur
L'objectif de ce cours est de tracer un panorama des méthodes et outils de validation automatique des systèmes informatiques matériels et logiciels, comme les systèmes embarqués.
CONTRÔLE CONTINU :
Type d'évaluation (ex : TP, assiduité, participation) : TP
SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : Ecrit
Salle spécifique : non
Durée : 2h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous
Documents interdits (ex : livres, tous documents) : rien
Matériel (ex : calculatrices):
SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique : non
Durée : 1h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous
Documents interdits (ex : livres, tous documents) : rien
Matériel (ex : calculatrices):
Session 1: écrit de 2 h, note E1, TP, note C, note calculée = (2*E1 + C)/3
Session 2: écrit 1h, note E2, note calculée = E2
Le cours est programmé dans ces filières :
Code de l'enseignement : 5MMVSE7
Langue(s) d'enseignement :
Le cours est rattaché aux structures d'enseignement suivantes :
Vous pouvez retrouver ce cours dans la liste de tous les cours.
mise à jour le 18 juin 2017