Author of the publication

Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems.

, , , and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 7-13. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Evaluation von UML/RT für Automatisierungssysteme im Anlagenbau., and . PEARL, page 50-59. Springer, (2002)Criteria-based alarm flood pattern recognition using historical data from automated production systems (aPS), , and . Mechatronics, (2015)Scalable cloud based semantic code analysis to support continuous integration of industrial PLC code., , , and . INDIN, page 621-627. IEEE, (2017)Integration of safety aspects in modeling of Networked Control Systems., , and . INDIN, page 405-412. IEEE, (2017)Integrating Hierarchical Task Analysis into Model-Based System Design using Airbus XHTA and IBM Rational Rhapsody., , , , , and . IEEM, page 1856-1860. IEEE, (2018)A Cross-disciplinary Model-Based Systems Engineering Workflow of Automated Production Systems Leveraging Socio-technical Aspects., , , and . IEEM, page 133-140. IEEE, (2020)Modeling of Networked Automation Systems for simulation and model checking of time behavior., , , , , and . SSD, page 1-5. IEEE, (2012)BPMN4CARS: A Car-Tailored Workflow Engine., , , , , , and . INDIN, page 1-6. IEEE, (2023)Integration of a formal specification approach into CPPS engineering workflow for machinery validation., , , and . INDIN, page 1-8. IEEE, (2021)Specification, Verification and Design of Evolving Automotive Software: Invited., , , , , and . DAC, page 83:1-83:6. ACM, (2017)