Symbolic system synthesis in the presence of stringent real-time constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Felix Reimann, Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich. Symbolic system synthesis in the presence of stringent real-time constraints. In Leon Stok, Nikil D. Dutt, Soha Hassoun, editors, Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011. pages 393-398, ACM, 2011. [doi]

This author has not been identified. Look up 'Felix Reimann' in GoogleThis author has not been identified. Look up 'Martin Lukasiewycz' in GoogleThis author has not been identified. Look up 'Michael Glaß' in GoogleThis author has not been identified. Look up 'Christian Haubelt' in GoogleThis author has not been identified. Look up 'Jürgen Teich' in Google

runs on WebDSL