Work

Synthesis of Embedded Software from Synchronous Dataflow Specifications