P.: Relaxing claims: Coping with uncertainty while evaluating assumptions at run time (0)

by A J Ramirez, B H C Cheng, N Bencomo, Sawyer
Venue:In: MoDELS. (2012) 53–69 Living With Uncertainty In the Age of Runtime Models 49