Certifiably safe software-dependent systems: challenges and directions

John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones. Certifiably safe software-dependent systems: challenges and directions. In James D. Herbsleb, Matthew B. Dwyer, editors, Proceedings of the on Future of Software Engineering, FOSE 2014, Hyderabad, India, May 31 - June 7, 2014. pages 182-200, ACM, 2014. [doi]

Authors

John Hatcliff

This author has not been identified. It may be one of the following persons: Look up 'John Hatcliff' in Google

Alan Wassyng

This author has not been identified. Look up 'Alan Wassyng' in Google

Tim Kelly

This author has not been identified. Look up 'Tim Kelly' in Google

Cyrille Comar

This author has not been identified. Look up 'Cyrille Comar' in Google

Paul L. Jones

This author has not been identified. Look up 'Paul L. Jones' in Google