> 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.
Contact Florence MARANINCHICONTRÔ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
mise à jour le 15 janvier 2017