QVT Based Model Transformation from Sequence Diagram to CSP.

Li Dan

Browse the full ICECCS paper archive.