Establishing Confidence and Understanding Uncertainty in Real-Time Systems.

Iain Bate, David Griffin, Benjamin Lesage

Browse the full RTNS paper archive.