Formal Model-Based Synthesis of Application-Specific Static RTOS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec, Sébastien Faucou, Olivier Henry Roux. Formal Model-Based Synthesis of Application-Specific Static RTOS. ACM Trans. Embedded Comput. Syst., 16(4), 2017. [doi]

This author has not been identified. Look up 'Tigori Kabland Toussaint Gautier' in GoogleThis author has not been identified. Look up 'Jean-Luc Béchennec' in GoogleThis author has not been identified. Look up 'Sébastien Faucou' in GoogleThis author has not been identified. Look up 'Olivier Henry Roux' in Google

runs on WebDSL