Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen

Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel. Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen. In Wolf-Gideon Bleek, Jörg Raasch, Heinz Züllighoven, editors, Software Engineering 2007, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg. Volume 105 of LNI, pages 251-252, GI, 2007.

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