Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems.

Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta

Browse the full FDL paper archive.