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]

Authors

Akin Akbulut

This author has not been identified. Look up 'Akin Akbulut' in Google

Stephan Abke

This author has not been identified. Look up 'Stephan Abke' in Google

Christoph Laroque

This author has not been identified. Look up 'Christoph Laroque' in Google