Afficher la légende

Vendredi 30 Janvier

« Lundi Mardi Mercredi Jeudi Vendredi »
09:00  
 
10:00  
 
11:00
11:00 - 12:30
Une introduction à la théorie de Squier
12:00
 
13:00  
 
14:00
14:00 - 14:40
Cost Linear Temporal Logic for Verification
14:40 - 15:20
Vérification de Spécifications EB-3 à l'aide de Techniques de Model Checking
15:00  
 
16:00  
 
17:00  
 
18:00  
 
19:00