Publikationen
Liste als BibTeX-Datei exportieren
- 2014Formal Technical Process Specification and Verification for Automated Production SystemsGeorg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl und Birgit Vogel-Heuser
In
System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings,
Seiten 287–303,
DetailsDOIBIB