"WCET Computation of Safety-Critical Avionics Programs: Challenges, ..."

Jean Souyris (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics