TokaMsh : A Mesh Generation Software designed for Tokamak Simulation loseille 2017/10/18 2017/10/18 Continue reading
1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018) sbliudze 2017/10/05 2017/10/05 Continue reading
International Workshop on Automated Verification of Critical Systems dpichard 2017/10/04 2017/10/04 Continue reading