19 citations · 59 across the 20 of their papers we have counts for
1 paper · 1 filter
Youcheng Sun, Giuseppe Lipari, Étienne André +1
We propose here a framework to model real-time components consisting of concurrent real-time tasks running on a single processor, using parametric timed automata. Our framework is…