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.

ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems

Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui. ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems. In Pascal Lorenz, Leszek A. Maciaszek, editors, ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 20-22 July, 2015. pages 45-52, SciTePress, 2015. [doi]

Authors

Hanen Grichi

This author has not been identified. Look up 'Hanen Grichi' in Google

Olfa Mosbahi

This author has not been identified. Look up 'Olfa Mosbahi' in Google

Mohamed Khalgui

This author has not been identified. Look up 'Mohamed Khalgui' in Google
runs on