Afficher la légende

Jeudi 20 Novembre

« Lundi Mardi Mercredi Jeudi Vendredi »
09:00  
 
10:00  
 
11:00  
 
12:00  
 
13:00  
 
14:00  
 
15:00  
15:30 - 16:30
Abstraction and Modular Verification of Services Using Symbolic Observation Graph (SOG)
16:00
 
17:00  
 
18:00  
 
19:00