POD
Menu principal
  •  Directs
  • Configuration
  • Connexion

 Liste des chaînes

 Types de vidéos

  •  Audio (77)
  •  Autres (4048)
  •  Colloque (189)
  •  Conférences (2592)
  •  Documentaires (40)
  •  Films institutionnels (112)
  •  Films promotionnels (134)
  •  Interview (169)
  •  Production étudiante (268)
  •  Relation presse (2)
  •  Supports pédagogiques (3673)
  •  Tutoriels (335)

 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

7 vidéos trouvées

 Audio  Vidéo  Statistiques de vues
Chargement en cours…
00:23:44
Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis
Propriété du domaine borné pour la logique…
00:23:39
CAISAR : Characterization and Verification of Trustworthiness Properties of Artificial Intelligence
CAISAR : Characterization and Verification…
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:03:20
M5_Témoignages : Comment les étudiants vérifient les informations
M5_Témoignages : Comment les étudiants vér…
00:26:47
Formal Analysis of Circuits for Security
Formal Analysis of Circuits for Security
00:18:26
demo of the CADP toolbox
Demo of the CADP toolbox
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 • 11540 vidéos disponibles (266 jours, 20:50:57)

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