Compositional Analysis of Multi-mode Systems

Linh T. X. Phan, Insup Lee, Oleg Sokolsky. Compositional Analysis of Multi-mode Systems. In 22nd Euromicro Conference on Real-Time Systems, ECRTS 2010, Brussels, Belgium, July 6-9, 2010. pages 197-206, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.