On the Transition from Design Time to Runtime Model-Based Assurance Cases.

Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou

Browse the full MODELS paper archive.