Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne. Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. In 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA. pages 515-522, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Yosr Jarraya' in GoogleThis author has not been identified. Look up 'Andrei Soeanu' in GoogleThis author has not been identified. Look up 'Mourad Debbabi' in GoogleThis author has not been identified. Look up 'Fawzi Hassaïne' in Google

runs on WebDSL