Parameter Synthesis for Hierarchical Concurrent Real-Time Systems.

tienne Andr, Yang Liu, Jun Sun, Jin Song Dong

Browse the full ICECCS paper archive.