Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models.

Marcel Christian Werner, Klaus Schneider

Browse the full FDL paper archive.