Methods and tools for component-based system design

Joseph Sifakis. Methods and tools for component-based system design. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 1022, IEEE, 2011. [doi]

Abstract

Abstract is missing.