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 specification and systematic model-driven testing of embedded automotive systems

Sebastian Siegl, Kai-Steffen Jens Hielscher, Reinhard German, Christian Berger. Formal specification and systematic model-driven testing of embedded automotive systems. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 118-123, IEEE, 2011. [doi]

Authors

Sebastian Siegl

This author has not been identified. Look up 'Sebastian Siegl' in Google

Kai-Steffen Jens Hielscher

This author has not been identified. Look up 'Kai-Steffen Jens Hielscher' in Google

Reinhard German

This author has not been identified. Look up 'Reinhard German' in Google

Christian Berger

This author has not been identified. Look up 'Christian Berger' in Google
runs on