Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand. Timing Validation of Automotive Software. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Volume 17 of Communications in Computer and Information Science, pages 93-107, Springer, 2008. [doi]
Abstract is missing.