@inproceedings{TUW-215401, author = {Mordinyi, Richard and Moser, Thomas and Biffl, Stefan}, title = {Model-based Validation of Integrated Automation Systems Engineering Environments}, booktitle = {Proceedings of 7th Vienna International Conference on Mathematical Modelling (MATHMOD'12) - Modelling and Model Transformation in Automation Technologies}, year = {2012}, keywords = {Test Generation, Software Tools, Knowledge Engineering, System Integration, Validation, Data Models}, note = {Vortrag: 7th Vienna International Conference on Mathematical Modelling (MATHMOD'12), Vienna; 2012-02-15 -- 2012-02-17} }