A concept for conformance testing of AutomationML models by means of formal proof using OCL
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Anthropomatik (IFA) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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 |
| Seiten | 1-5 |