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]

Abstract

Abstract is missing.

runs on