| emsoft | participants

Chang Hwan Peter Kim

EMSOFT 2014: 14th International Conference on Embedded Software

Synthesising Optimal Timing Delays for Timed I/O Automata

Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, and Alexandru Mereacre