|
|
Computing science engineering department
|
16/02/2012
|
|
don't miss
Combining Partial Order Reduction with Symbolic Model Checking
Jeudi 19 avril 2012 à 14h, Auditoire BARB 93 Place Ste Barbe 1348 Louvain-la-Neuve [ > more]
Analyzing Multi-View Models of Software Systems
November 30, 2011 - 16:00 Auditoire SUD 09, Croix du Sud, 1348 Louvain-la-Neuve [30/11/2011 > more]
Synthesizing Multi-View Models of Software Systems
November 30, 14:00 Auditoire SUD 09, Croix du Sud, 1348 Louvain-la-Neuve [30/11/2011 > more]
[29/11/2011 > more]
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||