Polychronous controller synthesis from MARTE CCSL timing specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic. Polychronous controller synthesis from MARTE CCSL timing specifications. In Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt, editors, 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011. pages 21-30, IEEE, 2011. [doi]

This author has not been identified. Look up 'Huafeng Yu' in GoogleThis author has not been identified. Look up 'Jean-Pierre Talpin' in GoogleThis author has not been identified. Look up 'Loïc Besnard' in GoogleThis author has not been identified. Look up 'Thierry Gautier' in GoogleThis author has not been identified. Look up 'Hervé Marchand' in GoogleThis author has not been identified. Look up 'Paul Le Guernic' in Google

runs on WebDSL