Model driven engineering of manufacturing execution systems using a formal specification.
| Autor: | Weissenberger, Benedikt, Flad, Stefan, Chen, Xinyu, Rosch, Susanne, Voigt, Tobias, Vogel-Heuser, Birgit |
|---|---|
| Zdroj: | 2015 IEEE International Conference on Cyber Technology in Automation, Control & Intelligent Systems (CYBER); 2015, p1-8, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|