A Deterministic Implementation Process for Accurate and Traceable System Timing and Space Analysis.

Michael Ward, Neil C. Audsley

Browse the full RTCSA paper archive.