POD
Menu principal
  •  Directs
  • Configuration
  • Connexion

 Liste des chaînes

 Types de vidéos

  •  Audio (76)
  •  Autres (4009)
  •  Colloque (188)
  •  Conférences (2618)
  •  Documentaires (40)
  •  Films institutionnels (112)
  •  Films promotionnels (140)
  •  Interview (139)
  •  Production étudiante (270)
  •  Relation presse (2)
  •  Supports pédagogiques (3671)
  •  Tutoriels (333)

 Filtres

Les vidéos à gauche sont automatiquement triées selon les filtres sélectionnés ci-dessous. Consultez les options pour ajuster les résultats.

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

11485 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éo - Université intégrée • Version 4.3.1-dev • 11485 vidéos disponibles (267 jours, 14:15:13)

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).