Methods and tools to the verification of safety-related control software.

Thomas Mertke, Thomas Menzel

Browse the full SMC paper archive.