Error Type Refinement for Assurance of Families of Platform-Based Systems

Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando. Error Type Refinement for Assurance of Families of Platform-Based Systems. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings. Volume 9338 of Lecture Notes in Computer Science, pages 95-106, Springer, 2015. [doi]

Authors

Sam Procter

This author has not been identified. Look up 'Sam Procter' in Google

John Hatcliff

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

Sandy Weininger

This author has not been identified. Look up 'Sandy Weininger' in Google

Anura Fernando

This author has not been identified. Look up 'Anura Fernando' in Google