A Framework for Compositional Timing Analysis of Embedded Computer Systems.

Rob Edman, Hazel Shackleton, John Shackleton, Tyler Smith, Steve Vestal

Browse the full HPCC paper archive.