The Epsilon Transformation Language

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Finished

Refinement patterns for contractual statecharts
Paige, R. F.
EPSRC
1/07/07 → 30/09/10
Project: Research project (funded) › Research