Prof. U. A. Jogalekar, M. U. (2015) “Control Model for Analyzing Erroneous Human Behavior a System Safety Using Model Checker with Mutation Testing Approach”, International Journal of Emerging Trends in Science and Technology, 2(07). Available at: https://igmpublication.org/ijetst.in/index.php/ijetst/article/view/823 (Accessed: 1July2024).