Formal Methods for the Development and Verification of Autonomic IT Systems

Radu Calinescu, Shinji Kikuchi, Marta Kwiatkowska

Computer Science

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

1 results

Finished

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