Cloud Computing for LSCITS

Calinescu, RADU CONSTANTIN (Principal investigator)

Computer Science

Project: Research project (funded) › Research

11 Conference contribution
6 Article
1 Chapter
1 Chapter (peer-reviewed)

1 results

Filter

2012

Formal Methods for the Development and Verification of Autonomic IT Systems
Calinescu, R., Kikuchi, S. & Kwiatkowska, M., 2012, Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification. Cong-Vinh, P. (ed.). IGI Global, p. 1-37
Research output: Chapter in Book/Report/Conference proceeding › Chapter