Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is formal verification and Author is Carlo Ghezzi  [Clear All Filters]
Workshop Paper
Bianculli, D., C. Ghezzi, and C. Pautasso, "Embedding continuous lifelong verification in service life cycles", ICSE Workshop on Principles of Engineering Service Oriented Systems (PESOS 2009), Vancouver, Canada, pp. 99-102, May, 2009.  (100.29 KB)