Combining Static Worst-Case Timing Analysis and Program Proof

Roderick Chapman, Alan Burns, Andy J. Wellings. Combining Static Worst-Case Timing Analysis and Program Proof. Real-Time Systems, 11(2):145-171, 1996.

Abstract

Abstract is missing.