Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Abdul-Rauf Nuhu, Kishor Datta Gupta, Wendwosen Bellete Bedada, Mahmoud Nabil 0001, Lydia Asrat Zeleke, Abdollah Homaifar, Edward W. Tunstel. Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints. In Hisao Ishibuchi, Chee-Keong Kwoh 0001, Ah-Hwee Tan, Dipti Srinivasan, Chunyan Miao, Anupam Trivedi, Keeley A. Crockett, editors, IEEE Symposium Series on Computational Intelligence, SSCI 2022, Singapore, December 4-7, 2022. pages 413-420, IEEE, 2022. [doi]

This author has not been identified. Look up 'Abdul-Rauf Nuhu' in GoogleThis author has not been identified. Look up 'Kishor Datta Gupta' in GoogleThis author has not been identified. Look up 'Wendwosen Bellete Bedada' in GoogleThis author has not been identified. Look up 'Mahmoud Nabil 0001' in GoogleThis author has not been identified. Look up 'Lydia Asrat Zeleke' in GoogleThis author has not been identified. Look up 'Abdollah Homaifar' in GoogleThis author has not been identified. Look up 'Edward W. Tunstel' in Google

runs on WebDSL