A Scalable Approach to Multi-style Architectural Modeling and Verification

Stephen Wong, Jing Sun, Ian Warren, Jun Sun 0001. A Scalable Approach to Multi-style Architectural Modeling and Verification. In 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland. pages 25-34, IEEE Computer Society, 2008. [doi]

Authors

Stephen Wong

This author has not been identified. Look up 'Stephen Wong' in Google

Jing Sun

This author has not been identified. Look up 'Jing Sun' in Google

Ian Warren

This author has not been identified. Look up 'Ian Warren' in Google

Jun Sun 0001

This author has not been identified. Look up 'Jun Sun 0001' in Google