Refinement patterns for contractual statecharts

Project: Research project (funded)Research

Project Details

StatusFinished
Effective start/end date1/07/0730/09/10

Funding

  • EPSRC: £398,273.00