POD
Menu principal
Chaînes
Directs
Types
Rechercher un média sur POD
Configuration
Langue
fr
Mode sombre
Mode dyslexie
Affichage automatique des sous-titres
Connexion
Liste des chaînes
Types de vidéos
Audio (78)
Autres (4131)
Colloque (191)
Conférences (2627)
Documentaires (40)
Films institutionnels (113)
Films promotionnels (134)
Imports BBB (1)
Interview (171)
Production étudiante (269)
Relation presse (2)
Supports pédagogiques (3669)
Tutoriels (335)
Accueil
Vidéos
7 vidéos trouvées
Audio
Vidéo
Statistiques de vues
Tri
↘
Direction de tri
Titre
Date d’ajout
Date de l’évènement
Durée
Chargement en cours…
00:23:44
Propriété du domaine borné pour la logique…
00:23:39
CAISAR : Characterization and Verification…
00:28:37
Enseignement de la vérification de système…
00:26:52
Towards the verification of User Interface…
00:03:20
M5_Témoignages : Comment les étudiants vér…
00:26:47
Formal Analysis of Circuits for Security
00:18:26
Demo of the CADP toolbox
Chargement en cours…
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).
J’ai compris
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).