Dalila Amara, Ezzeddine Fatnassi, Latifa Ben Arfa Rabai. An Automated Support Tool to Compute State Redundancy Semantic Metric. In Ajith Abraham, Pranab Kr. Muhuri, Azah Kamilah Muda, Niketa Gandhi, editors, Intelligent Systems Design and Applications - 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017) Held in Delhi, India, December 14-16, 2017. Volume 736 of Advances in Intelligent Systems and Computing, pages 262-272, Springer, 2017. [doi]
Abstract is missing.