Specification of precise timing in synchronous dataflow models

Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye. Specification of precise timing in synchronous dataflow models. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. pages 85-94, IEEE, 2016. [doi]

Authors

Patricia Derler

This author has not been identified. Look up 'Patricia Derler' in Google

Kaushik Ravindran

This author has not been identified. Look up 'Kaushik Ravindran' in Google

Rhishikesh Limaye

This author has not been identified. Look up 'Rhishikesh Limaye' in Google