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 Verification of UML-modeled Machine Controls

Thomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe. Formal Verification of UML-modeled Machine Controls. In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2009, September 22-25, 2008, Palma de Mallorca, Spain. pages 1-7, IEEE, 2009. [doi]

Authors

Thomas Klotz

This author has not been identified. Look up 'Thomas Klotz' in Google

Eva Fordran

This author has not been identified. Look up 'Eva Fordran' in Google

Bernd Straube

This author has not been identified. Look up 'Bernd Straube' in Google

Jürgen Haufe

This author has not been identified. Look up 'Jürgen Haufe' in Google
runs on