Automated model verification using an equivalence test on a reference model

Akin Akbulut, Stephan Abke, Christoph Laroque. Automated model verification using an equivalence test on a reference model. In 2017 Winter Simulation Conference, WSC 2017, Las Vegas, NV, USA, December 3-6, 2017. pages 4187-4196, IEEE, 2017. [doi]

Abstract

Abstract is missing.