Gaël Dur

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Online Communities

Physical Processes

Top Venues

Publications

Tomohiro Oda, Gaël Dur, Stéphane Ducasse, Hugo Daniel Macedo
Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL. CoRR (2023)
Tomohiro Oda, Gaël Dur, Stéphane Ducasse, Sami Souissi
re: Mobidyc - Reconstructing MOdeling Based on Individual for the DYnamics of Community. PAAMS (2021)