A Model-Based Concept for RTOS Portability

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelProceedings of AICCSA 2018
PublikationsstatusAngenommen/In Druck - 28 Okt 2018
VeranstaltungACS/IEEE International Conference on Computer Systems and Applications 2018 - Aqaba, Jordanien
Dauer: 28 Okt 20181 Nov 2018
Konferenznummer: 15
http://www.aiccsa.net/AICCSA2018/

Konferenz

KonferenzACS/IEEE International Conference on Computer Systems and Applications 2018
KurztitelAICCSA 2018
LandJordanien
OrtAqaba
Zeitraum28/10/181/11/18
Internetadresse

Schlagwörter

    Fields of Expertise

    • Information, Communication & Computing

    Dies zitieren

    Martins Gomes, R., & Baunach, M. C. (Angenommen/Im Druck). A Model-Based Concept for RTOS Portability. in Proceedings of AICCSA 2018

    A Model-Based Concept for RTOS Portability. / Martins Gomes, Renata; Baunach, Marcel Carsten.

    Proceedings of AICCSA 2018. 2018.

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

    Martins Gomes, R & Baunach, MC 2018, A Model-Based Concept for RTOS Portability. in Proceedings of AICCSA 2018., Aqaba, Jordanien, 28/10/18.
    @inproceedings{7c81769483964a339faba8df2b55ff1d,
    title = "A Model-Based Concept for RTOS Portability",
    keywords = "RTOS portability, code generation, formal modeling, Event-B, IoT",
    author = "{Martins Gomes}, Renata and Baunach, {Marcel Carsten}",
    year = "2018",
    month = "10",
    day = "28",
    language = "English",
    booktitle = "Proceedings of AICCSA 2018",

    }

    TY - GEN

    T1 - A Model-Based Concept for RTOS Portability

    AU - Martins Gomes, Renata

    AU - Baunach, Marcel Carsten

    PY - 2018/10/28

    Y1 - 2018/10/28

    KW - RTOS portability

    KW - code generation

    KW - formal modeling

    KW - Event-B

    KW - IoT

    M3 - Conference contribution

    BT - Proceedings of AICCSA 2018

    ER -