External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Behavioral Verification of UML2.0/PoSM Components

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech. Behavioral Verification of UML2.0/PoSM Components. In Hamido Fujita, George Angelos Papadopoulos, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifteenth SoMeT_16, Larnaca, Cyprus, 12-14 September 2016. Volume 286 of Frontiers in Artificial Intelligence and Applications, pages 246-257, IOS Press, 2016. [doi]

Authors

Taoufik Sakka Rouis

This author has not been identified. Look up 'Taoufik Sakka Rouis' in Google

Mohamed Tahar Bhiri

This author has not been identified. Look up 'Mohamed Tahar Bhiri' in Google

Mourad Kmimech

This author has not been identified. Look up 'Mourad Kmimech' in Google
runs on