Code Generation from Formal Models for Automatic RTOS Portability

Research output: Contribution to conferencePoster

Conference

ConferenceInternational Symposium on Code Generation and Optimization
Abbreviated titleCGO2019
CountryUnited States
CityWashington DC
Period16/02/1920/02/19
Internet address

Cite this

Martins Gomes, R., & Baunach, M. C. (2019). Code Generation from Formal Models for Automatic RTOS Portability. Poster session presented at International Symposium on Code Generation and Optimization, Washington DC, United States.

Code Generation from Formal Models for Automatic RTOS Portability. / Martins Gomes, Renata; Baunach, Marcel Carsten.

2019. Poster session presented at International Symposium on Code Generation and Optimization, Washington DC, United States.

Research output: Contribution to conferencePoster

Martins Gomes, R & Baunach, MC 2019, 'Code Generation from Formal Models for Automatic RTOS Portability' International Symposium on Code Generation and Optimization, Washington DC, United States, 16/02/19 - 20/02/19, .
Martins Gomes R, Baunach MC. Code Generation from Formal Models for Automatic RTOS Portability. 2019. Poster session presented at International Symposium on Code Generation and Optimization, Washington DC, United States.
Martins Gomes, Renata ; Baunach, Marcel Carsten. / Code Generation from Formal Models for Automatic RTOS Portability. Poster session presented at International Symposium on Code Generation and Optimization, Washington DC, United States.
@conference{32f89b0fc9a34807bb4d2c42f69af404,
title = "Code Generation from Formal Models for Automatic RTOS Portability",
author = "{Martins Gomes}, Renata and Baunach, {Marcel Carsten}",
year = "2019",
month = "1",
day = "4",
language = "English",
note = "International Symposium on Code Generation and Optimization, CGO2019 ; Conference date: 16-02-2019 Through 20-02-2019",
url = "http://cgo.org/cgo2019",

}

TY - CONF

T1 - Code Generation from Formal Models for Automatic RTOS Portability

AU - Martins Gomes,Renata

AU - Baunach,Marcel Carsten

PY - 2019/1/4

Y1 - 2019/1/4

M3 - Poster

ER -