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
1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2017) sbliudze 2017/10/03 2017/10/03 Continue reading
Man2Block: International Workshop on Managing and Managed by Blockchain francoij 2017/09/28 2017/09/28 Continue reading