Formal Technical Process Specification and Verification for Automated Production Systems

Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl und Birgit Vogel-Heuser

System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings, pp. 287–303

2014 · DOI: 10.1007/978-3-319-11743-0_20