Towards a Formal Specification Framework for Manufacturing Execution Systems.

Maria Witsch Birgit Vogel-Heuser

Published in: IEEE Trans. Ind. Informatics (2012)

Keyphrases

formal specification
formal methods
specification language
decision making
cooperative
software components
code generation