Formal Model Driven Software Synthesis for Embedded Systems
TR Number
Date
2011-08-02
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Virginia Tech
Abstract
Description
Keywords
synchronous systems, Model driven code generation, software synthesis, multi-threading, polychronous formalism