A Scalable Approach to Multi-style Architectural Modeling and Verification.

Stephen Wong, Jing Sun, Ian Warren, Jun Sun

Browse the full ICECCS paper archive.