A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems.

Larissa Meinicke, Graeme Smith

Browse the full IFM paper archive.