Stage de recherche

Stage: Formal framework for modelling and verifying globally asynchronous locally synchronous systems

Ecole Nationale Supérieure des Mines de St-Etienne, 2013

t nibh in hac habitasse platea dictumst aliquam augue quam sollicitudin vitae consectetuer eget rutrum at lorem integer tincidunt ante vel ipsum