Code Generation from Formal Models for Automatic RTOS Portability

Renata Martins Gomes, Marcel Carsten Baunach

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

Fingerprint

Untersuchen Sie die Forschungsthemen von „Code Generation from Formal Models for Automatic RTOS Portability“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science