Publikation

Debugging and Verification for Embedded Real-Time Systems

Outline:

J. Langer, K. Koppenberger - Debugging and Verification for Embedded Real-Time Systems - Proceedings of the Embedded World Conference 2005, Nürnberg, Deutschland, 2005, pp. 401-406