scientific article; zbMATH DE number 7774306

DOI10.4230/LIPICS.DISC.2021.55MaRDI QIDQ6083440zbMATH OpenFDO

Authors John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Publication date 8 December 2023

Full work available at URL https://arxiv.org/abs/2107.14509

zbMATH Keywords

forward simulationhyperpropertiesstrong observational refinement

Mathematics Subject Classification ID

Distributed systems (68M14) Distributed algorithms (68W15)

Recommendations

• Simulation-aided inference in cosmology
• Simulation of astrophysical phenomena on the basis of high-performance computations
• A relativistic view on large scale N-body simulations
• scientific article; zbMATH DE number 4010067
• scientific article; zbMATH DE number 2013581

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6083440)