Towards Assurance-Driven Architectural Decomposition of Software Systems.

Ramy Shahin

Browse the full SAFECOMP paper archive.