POD
Menu principal
  •  Directs
  •  Listes de lecture promues
  • Configuration
  • Connexion

 Liste des chaînes

 Types de vidéos

  •  Audio (42)
  •  Autres (4644)
  •  Colloque (202)
  •  Conférences (2554)
  •  Documentaires (39)
  •  Films institutionnels (113)
  •  Films promotionnels (156)
  •  Interview (152)
  •  Production étudiante (360)
  •  Relation presse (3)
  •  Supports pédagogiques (3694)
  •  Tutoriels (343)

 Filtres

Les vidéos à gauche sont automatiquement triées en fonction des filtres sélectionnés. Vérifiez les options pour ajuster les résultats.

 Types
 Disciplines
 Mots clés
 Cursus universitaire
  1. Accueil
  2. Vidéos

12233 vidéos trouvées

 Audio  Vidéo  Statistiques de vues
Chargement en cours…
00:23:39
CAISAR : Characterization and Verification of Trustworthiness Properties of Artificial Intelligence
CAISAR : Characterization and Verification…
00:18:25
An Iterative Formal Model-Driven Approach to Railway Systems Validation
An Iterative Formal Model-Driven Approach …
00:30:44
S. Rossi
S. Rossi
00:30:01
Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction
Correlating Test Events With Monitoring Lo…
01:18:36
P. Urbani
P. Urbani
01:32:10
B. Guiselin
B. Guiselin
00:28:37
Enseignement de la vérification de systèmes réactifs paramétrés
Enseignement de la vérification de système…
00:26:52
Towards the verification of User Interface Description Languages
Towards the verification of User Interface…
00:31:36
Une sémantique des structures, unions et termes indéfinis pour la spécification formelle de C
Une sémantique des structures, unions et t…
00:30:53
Formally verified block optimizations by symbolic execution modulo invariants
Formally verified block optimizations by s…
00:35:19
OptiTrust : User-Guided Source-to-Source Transformations (with Formal Guarantees)
OptiTrust : User-Guided Source-to-Source T…
00:20:38
Un arbre de syntaxe pour programmes annotés avec leurs invariants et leurs preuves
Un arbre de syntaxe pour programmes annoté…
Plus
Chargement en cours…

 

Université intégrée

  • Mentions légales
  • Accessibilité : Partiellement conforme
  • ESUP-Portail
  • Projet Esup-Pod

POD plateforme vidéos de Université intégrée - Version 3.8.0 - 12233 vidéos disponibles [ 277 days, 18:57:18 ]

Nous utilisons des cookies pour personnaliser l’affichage (barre de menu de droite, mode sombre ou dyslexie etc.), gérer la session (authentification) et analyser le trafic du site (pour certaines instances). En savoir plus