Model Checking of Component Connectors - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohammad Izadi, Ali Movaghar, Farhad Arbab. Model Checking of Component Connectors. In 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China. pages 673-675, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Mohammad Izadi' in GoogleThis author has not been identified. Look up 'Ali Movaghar' in GoogleThis author has not been identified. Look up 'Farhad Arbab' in Google

runs on WebDSL