Matlab / Simulink generated source code for safety related systems.

Michael H. Schwarz, Huiyun Sheng, Oleksandr Sheleh, Josef Brcsk

Browse the full AICCSA paper archive.