10 citations · 10 across the 2 of their papers we have counts for
1 paper · 1 filter
Karine Altisen, Yanhong Liu, Matthieu Moy
To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order…