Application of contract-based security assertion monitoring framework for telecommunications software engineering

Alexander M. Hoole, Issa Traoré, Isabelle Simplot-Ryl. Application of contract-based security assertion monitoring framework for telecommunications software engineering. Mathematical and Computer Modelling, 53(3-4):522-537, 2011. [doi]

Abstract

Abstract is missing.