The verification technique of real-time systems using probabilities.

Satoshi Yamane

Browse the full RTCSA paper archive.