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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Seyedehmehrnaz Mireslami' in GoogleThis author has not been identified. Look up 'Behrouz H. Far' in Google

runs on WebDSL