Probabilistic Failure Propagation and Transformation Analysis

Xiaocheng Ge, Richard F. Paige, John A. McDermid

Computer Science

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

1 results

Finished

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