Code Generation from Formal Models for Automatic RTOS Portability.

Renata Martins Gomes, Marcel Baunach

Browse the full CGO paper archive.