Publications
Export 1 results:
Author Title Type [ Year
] Filters: Keyword is formal verification [Clear All Filters]
, "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)
(100.29 KB)