Maria Witsch

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 1

Top Topics

Specification Languages

Object Oriented Design

Top Venues

Publications

Maria Witsch, Birgit Vogel-Heuser
Towards a Formal Specification Framework for Manufacturing Execution Systems. CoRR (2022)
Maria Witsch, Birgit Vogel-Heuser
Towards a Formal Specification Framework for Manufacturing Execution Systems. IEEE Trans. Ind. Informatics 8 (2) (2012)