Realistic safety cases for the timing of systems (0)

by P Graydon, I Bate
Venue:The Computer Journal