A Model-Based Concept for RTOS Portability

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Conference

ConferenceACS/IEEE International Conference on Computer Systems and Applications 2018
Abbreviated titleAICCSA 2018
CountryJordan
CityAqaba
Period28/10/181/11/18
Internet address

Keywords

  • RTOS portability
  • code generation
  • formal modeling
  • Event-B
  • IoT

Fields of Expertise

  • Information, Communication & Computing

Cite this

Martins Gomes, R., & Baunach, M. C. (Accepted/In press). 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.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Martins Gomes, R & Baunach, MC 2018, A Model-Based Concept for RTOS Portability. in Proceedings of AICCSA 2018. ACS/IEEE International Conference on Computer Systems and Applications 2018, Aqaba, Jordan, 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 -