IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata.

tienne Andr

Browse the full ICTAC paper archive.