POD
Menu principal
  •  Directs
  • Configuration
  • Connexion

 Liste des chaînes

 Types de vidéos

  •  Audio (74)
  •  Autres (3929)
  •  Colloque (196)
  •  Conférences (2643)
  •  Documentaires (38)
  •  Films institutionnels (111)
  •  Films promotionnels (136)
  •  Interview (144)
  •  Production étudiante (272)
  •  Relation presse (2)
  •  Supports pédagogiques (3626)
  •  Tutoriels (339)

 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
Bonjour, votre serveur vidéo a été mis à jour. Nous sommes en train de finaliser son optimisation. L'encodage de vos vidéos fonctionne (ne pas tenir compte du message d'erreur actuel à la fin de votre encodage).
  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éo - Université intégrée • Version 4.3.1-dev • 11446 vidéos disponibles (269 jours, 7:53:51)

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