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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.