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

 Liste des chaînes

 Types de vidéos

  •  Audio (6)
  •  Autres (4603)
  •  Colloque (244)
  •  Conférences (2399)
  •  Documentaires (60)
  •  Films institutionnels (206)
  •  Films promotionnels (168)
  •  Interview (164)
  •  Production étudiante (244)
  •  Relation presse (5)
  •  Supports pédagogiques (5857)
  •  Tutoriels (512)

 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

22 vidéos trouvées

 Audio  Vidéo  Statistiques de vues
Chargement en cours…
00:24:48
Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates
Formalizing an Efficient Runtime Assertion…
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:01
Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction
Correlating Test Events With Monitoring Lo…
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é…
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 - 14409 vidéos disponibles [ 336 days, 4:31:50 ]

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