|
|
Pôle d'ingénierie informatique
|
18/04/2012
|
|
In one click
Combining Partial Order Reduction with Symbolic Model Checking
Jeudi 19 avril 2012 à 14h, Auditoire BARB 93 Place Ste Barbe 1348 Louvain-la-Neuve [ > suite]
Analyzing Multi-View Models of Software Systems
November 30, 2011 - 16:00 Auditoire SUD 09, Croix du Sud, 1348 Louvain-la-Neuve [30/11 > suite]
Synthesizing Multi-View Models of Software Systems
November 30, 14:00 Auditoire SUD 09, Croix du Sud, 1348 Louvain-la-Neuve [30/11 > suite]
[ > suite]
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||