Compilation of imperative synchronous programs with refined clocks

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) ◽

10.1109/memcod.2010.5558633 ◽

2010 ◽

Author(s):

Mike Gemunde ◽

Jens Brandt ◽

Klaus Schneider

Download Full-text