Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems.

Alan Burns, Bev Littlewood

Browse the full RTSS paper archive.