Towards Formally Verifiable WCET Analysis for a Functional Programming Language.

Kevin Hammond Christian Ferdinand Reinhold Heckmann Roy Dyckhoff Martin Hofmann Steffen Jost Hans-Wolfgang Loidl Greg Michaelson Robert F. Pointon Norman Scaife Jocelyn Sérot Andy Wallace

Published in: WCET (2006)

Keyphrases