المؤلفون: Faranak Nejati, Nor Asilah Wati Abdul Hamid, Sina Zangbari Koohi, Zahra Rahmani Zadeh

المصدر: IEEE Access, Vol 11, Pp 75748-75760 (2023)

مصطلحات موضوعية: Artificial intelligence, raccoon optimization algorithm, software verification, model checking, graph transformation systems, state space explosion, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10171351/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/c40eb7140f364ab4bfdfb4f43f390b19