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]

Authors

Fabian Lorig

This author has not been identified. Look up 'Fabian Lorig' in Google

Colja A. Becker

This author has not been identified. Look up 'Colja A. Becker' in Google

Ingo J. Timm

This author has not been identified. Look up 'Ingo J. Timm' in Google