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.

Abstract

Abstract is missing.