Generation and Verification of Executable Assurance Case by Model-based Engineering.

Fang Yan

Browse the full ISSRE paper archive.