Improving WCET Analysis Precision through Automata Product.

Vincent Mussot, Pascal Sotin

Browse the full RTCSA paper archive.