Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework.

Patrik Meijer, Nag Mahadevan, Mark Wutka, Gabor Karsai

Browse the full MODELS paper archive.