A System-Level Approach for Model-Based Verification of Distributed Software Systems

Seyedehmehrnaz Mireslami, Behrouz H. Far. A System-Level Approach for Model-Based Verification of Distributed Software Systems. In IEEE International Conference on Systems, Man, and Cybernetics, Manchester, SMC 2013, United Kingdom, October 13-16, 2013. pages 2545-2550, IEEE, 2013. [doi]

Abstract

Abstract is missing.