Vol-2244⫷ Vol-2245 ⫸Vol-2246
urn:nbn:de:0074-2245-0


Vol-2245/mrt_paper_1⫷Vol-2245/mrt_paper_2⫸Vol-2245/mrt_paper_3
Ran WeiTim KellyJan ReichSimos Gerasimou

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