Refinement-based verification of implementations of Stateflow charts

Alvaro Heiji Miyazawa, Ana Lucia Caneca Cavalcanti

Computer Science

Research output: Contribution to journal › Article › peer-review

1 results

Filter

Finished

ProCLaws: Programming from Control Laws
Cavalcanti, A. L. C. (Principal investigator)
EPSRC
1/07/07 → 30/09/11
Project: Research project (funded) › Research