Developing self-verifying service-based systems

Radu Calinescu, Kenneth Johnson, Yasmin Rafiq

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

1 results

Filter

Finished

Cloud Computing for LSCITS
Calinescu, R.
EPSRC
1/05/12 → 31/03/14
Project: Research project (funded) › Research