A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jonatan Wiik, Johan Ersfolk, Marina A. Waldén. A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks. In 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018. pages 78-87, IEEE, 2018. [doi]

This author has not been identified. Look up 'Jonatan Wiik' in GoogleThis author has not been identified. Look up 'Johan Ersfolk' in GoogleThis author has not been identified. Look up 'Marina A. Waldén' in Google

runs on WebDSL