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.

Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme

Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel. Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme. In Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Volume 2007-1 of Informatik-Bericht, pages 73-82, TU Braunschweig, Institut für Software Systems Engineering, 2007. [doi]

Authors

Matthias Gehrke

This author has not been identified. Look up 'Matthias Gehrke' in Google

Martin Hirsch

This author has not been identified. Look up 'Martin Hirsch' in Google

Wilhelm Schäfer

This author has not been identified. Look up 'Wilhelm Schäfer' in Google

Oliver Niggemann

This author has not been identified. Look up 'Oliver Niggemann' in Google

Dirk Stichling

This author has not been identified. Look up 'Dirk Stichling' in Google

Ulrich Nickel

This author has not been identified. Look up 'Ulrich Nickel' in Google
runs on