Publikationen
Liste als BibTeX-Datei exportieren
- Delta modeling for variant-rich and evolving manufacturing systems In Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, Seiten 32-41, Mai 2014. ACM. Details BIB
- Formal Technical Process Specification and Verification for Automated Production Systems In System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings, Seiten 287–303, 2014. Details DOI BIB
- Automated Test Case Generation for Industrial Control Applications In Gourab Sen Gupta , Donald Bailey , Serge Demidenko und Dale Carnegie , Editor, Recent Advances in Robotics and Automation, Band 480 von Studies in Computational Intelligence, Seiten 263-273. Springer Berlin Heidelberg, 2013. Details DOI BIB