Derivation of Parallel and Resilient Programs from Simulink Models.

Sergey Ostroumov, Pontus Bostrm, Marina Waldn

Browse the full PDP paper archive.