Protocol Verification in a Software Component-Based Approach

Inès Mouakher, Jeanine Souquières, Francis Alexandre. Protocol Verification in a Software Component-Based Approach. In 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland. pages 136-145, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.