Home > Publications > Publikationen

Publikationen

Akbulut, Akin;Abke, Stephan;Laroque, Christoph:

Automated Model Verification using an Equivalence Test on a Reference Model.

In: Chan, W. K. V.;D’Ambrogio, A.;Zacharewicz, G.;Mustafee, N.;Wainer, G.;Page, E. (eds.) : Proceedings of the 2017 Winter Simulation Conference (accepted), Dec 3 - 6, 2017 IEEE, Institute of Electrical and Electronics Engineers, Inc.

Bibtex

@inproceedings{hniid=9637,
author = {Akbulut, Akin and Abke, Stephan and Laroque, Christoph},
title = {Automated Model Verification using an Equivalence Test on a Reference Model},
editor = {Chan, W. K. V. and D’Ambrogio, A. and Zacharewicz, G. and Mustafee, N. and Wainer, G. and Page, E.},
booktitle = {Proceedings of the 2017 Winter Simulation Conference (accepted)},
organization = {IEEE},
publisher = {Institute of Electrical and Electronics Engineers, Inc.},
month = {3~-~6~} # dec,
year = {2017},
}

Copy bibTeX to clipboard

Permalink

https://www.hni.uni-paderborn.de/pub/9637