Automated verification of AUML based multi-agent system design - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Seyedehmehrnaz Mireslami, Behrouz H. Far. Automated verification of AUML based multi-agent system design. In 26th IEEE Canadian Conference on Electrical and Computer Engineering CCECE 2013, Regina, SK, Canada, May 5-8, 2013. pages 1-4, 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