WCET analysis with procedure arguments as parameters.

Sandro Grebant, Clment Ballabriga, Julien Forget, Giuseppe Lipari

Browse the full RTNS paper archive.