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.

Towards an integrated system model for testing and verification of automation machines

Benjamin Hummel, Peter Braun. Towards an integrated system model for testing and verification of automation machines. In Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler, editors, International Workshop on Modeling in Software Engineering, MiSE 2008, Leipzig, Germany, May 10-11, 2008. pages 51-56, ACM, 2008. [doi]

Authors

Benjamin Hummel

This author has not been identified. Look up 'Benjamin Hummel' in Google

Peter Braun

This author has not been identified. Look up 'Peter Braun' in Google
runs on