Cloud Computing for LSCITS

Research output

Research output per year 2011 2012 2013 2014

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

Research output per year

Research output per year

Search results

• 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