Model driven engineering of manufacturing execution systems using a formal specification.

Benedikt Weissenberger, Stefan Flad, Xinyu Chen, Susanne Rsch, Tobias Voigt, Birgit Vogel-Heuser

Browse the full ETFA paper archive.