Combining Static Worst-Case Timing Analysis and Program Proof
R. Chapman, A. Burns and A.J. Wellings
No Abstract Available
Download Not Available
BibTex Entry
@article{Chapman1996,
abstract = {},
author = {R. Chapman and A. Burns and A.J. Wellings},
journal = {Real-Time Systems},
pages = {145-171},
title = {Combining Static Worst-Case Timing Analysis and Program Proof},
year = {1996}
}