Verification of temporal requirements of complex systems using UML patterns, application to a railway control example - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohamed Ghazel, Malek Masmoudi, Armand Toguyéni. Verification of temporal requirements of complex systems using UML patterns, application to a railway control example. In 4th IEEE International Conference on System of Systems Engineering, SoSE 2009, Albuquerque, NM, USA, 30 May - 03 Jun 2009. pages 1-6, IEEE, 2009. [doi]

This author has not been identified. Look up 'Mohamed Ghazel' in GoogleThis author has not been identified. Look up 'Malek Masmoudi' in GoogleThis author has not been identified. Look up 'Armand Toguyéni' in Google

runs on WebDSL