Formal Development of Software for Tolerating Transient Faults - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dubravka Ilic, Elena Troubitsyna. Formal Development of Software for Tolerating Transient Faults. In 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 12-14 December, 2005, Changsha, Hunan, China. pages 140-150, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Dubravka Ilic' in GoogleThis author has not been identified. Look up 'Elena Troubitsyna' in Google

runs on WebDSL