POD
Main menu
Types
Promoted playlists
Lives
Channels
Search for a media on POD
Configuration
Language
en
Dark mode
Dyslexia mode
Log in
Channel list
Types of videos
Other (4582)
Colloque (281)
Conferences (2043)
Documentaries (60)
Institutional movie (205)
Promotional movie (154)
Interview (166)
Students work (469)
relation presse (7)
Learning resources (5796)
Tutorials (488)
Home
Videos
47 videos found
Audio
Video
Statistics views
Sort
↘
Sort Direction
Title
Date added
Date of event
Duration
00:34:08
A Formal Specification for Gated SSA
00:28:04
Preuve formelle d'un analyseur flot de don…
00:23:44
Propriété du domaine borné pour la logique…
00:25:34
Execution-time opacity problems in (parame…
00:24:48
Formalizing an Efficient Runtime Assertion…
00:23:39
CAISAR : Characterization and Verification…
00:18:25
An Iterative Formal Model-Driven Approach …
00:30:01
Correlating Test Events With Monitoring Lo…
00:28:37
Enseignement de la vérification de système…
00:26:52
Towards the verification of User Interface…
00:31:36
Une sémantique des structures, unions et t…
00:30:53
Formally verified block optimizations by s…
More
Loading…
We use third party cookies to personalize content, manage session and analyze site traffic.
I understand