Synthesising optimal timing delays for Timed I/O Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre. Synthesising optimal timing delays for Timed I/O Automata. In 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014. pages 1-10, IEEE, 2014. [doi]

This author has not been identified. Look up 'Marco Diciolla' in GoogleThis author has not been identified. Look up 'Chang Hwan Peter Kim' in GoogleThis author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleThis author has not been identified. Look up 'Alexandru Mereacre' in Google

runs on WebDSL