Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is formal verification and Author is Carlo Ghezzi  [Clear All Filters]
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)