Model based verification and adaptation of software systems @runtime

Antonio Filieri. Model based verification and adaptation of software systems @runtime. PhD thesis, Polytechnic University of Milan, Italy, 2013. [doi]

Abstract

Abstract is missing.