External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Technical Process Specification and Verification for Automated Production Systems

Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl, Birgit Vogel-Heuser. Formal Technical Process Specification and Verification for Automated Production Systems. In Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher, editors, System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings. Volume 8769 of Lecture Notes in Computer Science, pages 287-303, Springer, 2014. [doi]

Authors

Georg Hackenberg

This author has not been identified. Look up 'Georg Hackenberg' in Google

Alarico Campetelli

This author has not been identified. Look up 'Alarico Campetelli' in Google

Christoph Legat

This author has not been identified. Look up 'Christoph Legat' in Google

Jakob Mund

This author has not been identified. Look up 'Jakob Mund' in Google

Sabine Teufl

This author has not been identified. Look up 'Sabine Teufl' in Google

Birgit Vogel-Heuser

This author has not been identified. Look up 'Birgit Vogel-Heuser' in Google
runs on