Skip to main navigation Skip to search Skip to main content

Code Generation from Formal Models for Automatic RTOS Portability

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Search results

  • Finished

    Embedded Operating Systems

    Martins Gomes, R. (Attendee / Assistant), Baunach, M. C. (Project manager on research unit), Scheipel, T. P. (Attendee / Assistant), Malenko, M. (Attendee / Assistant), Batista Ribeiro, L. (Attendee / Assistant) & Mauroner, F. (Attendee / Assistant)

    1/09/15 → 31/12/23

    Project: Research project

  • Reconfigurable Processor Architectures

    Malenko, M. (Attendee / Assistant), Scheipel, T. P. (Attendee / Assistant), Saikia, A. (Contact person), Martins Gomes, R. (Attendee / Assistant), Batista Ribeiro, L. (Attendee / Assistant), Mauroner, F. (Attendee / Assistant) & Baunach, M. C. (Project manager on research unit)

    1/09/14 → 31/12/23

    Project: Research project

  • Embedded Automotive Systems

    Martins Gomes, R. (Attendee), Malenko, M. (Attendee), Kissich, M. (Attendee), Nagarajan, D. (Attendee), Manjunath, V. (Attendee), Scheipel, T. P. (Attendee), Baunach, M. C. (Coordinator), Kanics, K. (Attendee), Saikia, A. (Attendee) & Batista Ribeiro, L. (Attendee)

    1/09/14 → 31/12/24

    Project: Research area