Modeling MARTE Sequence Diagram with Timing Pi-Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wei Jin, Hanpin Wang, Meixia Zhu. Modeling MARTE Sequence Diagram with Timing Pi-Calculus. In 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011, Newport Beach, California, USA, 28-31 March 2011. pages 61-66, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Wei Jin' in GoogleThis author has not been identified. Look up 'Hanpin Wang' in GoogleThis author has not been identified. Look up 'Meixia Zhu' in Google

runs on WebDSL