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.

Wr2Fdr Tool Maintenance for Models Checking

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa. Wr2Fdr Tool Maintenance for Models Checking. In Hamido Fujita, Ali Selamat, Sigeru Omatu, editors, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 16th International Conference, SoMeT_17, Kitakyushu City, Japan, September 26-28, 2017. Volume 297 of Frontiers in Artificial Intelligence and Applications, pages 425-440, IOS Press, 2017. [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

Faouzi Moussa

This author has not been identified. Look up 'Faouzi Moussa' in Google
runs on