Formal specification of hypotheses for assisting computer simulation studies

Fabian Lorig, Colja A. Becker, Ingo J. Timm. Formal specification of hypotheses for assisting computer simulation studies. In Fernando Barros, Xiaolin Hu 0002, Joachim Denil, Rhys Goldstein, Fernando Barros, editors, Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23 - 26, 2017. ACM, 2017. [doi]

Abstract

Abstract is missing.