Abstract

Execution Environments for Building Dependable Systems Slideshow