A first approach to the closed-form specification and analysis of an autonomic control system

Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shannon, Aaron Quigley

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
PublisherIEEE Computer Society
Publication statusPublished - 2007

Keywords

  • Lero, SPC, analysis, phase spaces, semantics, autonomic systems, programming

Cite this