Uniform Model Interface for Assurance Case Integration with System Models.

Andrzej Wardzinski, Paul L. Jones

Browse the full SAFECOMP paper archive.