KIT | KIT-Bibliothek | Impressum | Datenschutz

A concept for conformance testing of AutomationML models by means of formal proof using OCL

Schleipen, M.



Zugehörige Institution(en) am KIT Institut für Anthropomatik (IFA)
Publikationstyp Proceedingsbeitrag
Jahr 2010
Sprache Englisch
Identifikator ISBN: 978-1-4244-6848-5
KITopen-ID: 1000033423
Erschienen in Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation
Verlag IEEE Computer Society, Washinton
Seiten 1-5
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page