![](/img/cover-not-exists.png)
Combining static worst-case timing analysis and program proof
Roderick Chapman, Alan Burns, Andy WellingsVolume:
11
Language:
english
Pages:
27
DOI:
10.1007/bf00365316
Date:
September, 1996
File:
PDF, 1.44 MB
english, 1996