Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell

A. Akbulut, C. Laroque, Wilhelm Dangelmaier, (2017) 189–198.

Download
No fulltext has been uploaded.
Conference Paper | Published | German
Author
; ;
Editor
;
Publishing Year
Page
189 - 198
Conference Date
2017-09-20 – 2017-09-22
LibreCat-ID

Cite this

Akbulut A, Laroque C, Dangelmaier Wilhelm. Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell. Wenzel S, Peter T, eds. Published online 2017:189-198.
Akbulut, A., Laroque, C., & Dangelmaier, Wilhelm. (2017). Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell (S. Wenzel & T. Peter, Eds.; pp. 189–198). Kassel University Press.
@article{Akbulut_Laroque_Dangelmaier_2017, series={Simulation in Produktion und Logistik}, title={Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell}, publisher={Kassel University Press}, author={Akbulut, Akin and Laroque, Christoph and Dangelmaier, Wilhelm}, editor={Wenzel, Sigrid and Peter, Tim}, year={2017}, pages={189–198}, collection={Simulation in Produktion und Logistik} }
Akbulut, Akin, Christoph Laroque, and Wilhelm Dangelmaier. “Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell.” Edited by Sigrid Wenzel and Tim Peter. Simulation in Produktion und Logistik. Kassel University Press, 2017.
A. Akbulut, C. Laroque, and Wilhelm Dangelmaier, “Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell.” Kassel University Press, pp. 189–198, 2017.
Akbulut, Akin, et al. Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell. Edited by Sigrid Wenzel and Tim Peter, Kassel University Press, 2017, pp. 189–98.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar