Deriving Hierarchical Safety Contracts - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Omar Jaradat, Iain Bate. Deriving Hierarchical Safety Contracts. In Guojun Wang, Tatsuhiro Tsuchiya, Dong Xiang, editors, 21st IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2015, Zhangjiajie, China, November 18-20, 2015. pages 119-128, IEEE, 2015. [doi]

This author has not been identified. Look up 'Omar Jaradat' in GoogleThis author has not been identified. Look up 'Iain Bate' in Google

runs on WebDSL