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]

Authors

Linh T. X. Phan

This author has not been identified. Look up 'Linh T. X. Phan' in Google

Insup Lee

This author has not been identified. Look up 'Insup Lee' in Google

Oleg Sokolsky

This author has not been identified. Look up 'Oleg Sokolsky' in Google