Schmerl_Arch_Based_SElf_Protection_DG.pdf Download Tags: CMU Denial-of-Service July'14 Probabilistic Model Checking Self-Adaptation License: Creative Commons 2.5 Submitted by Jamie Hagerty on Mon, 12/05/2016 - 10:54