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

Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando

Browse the full SAFECOMP paper archive.