Checking reachability property of systems specified through graph transformation with the approach of discovery conditional dependency between the rules

Jaafar Partabian · Archives de l'Institut d'Hessarek. · 2023

‫وارس‬ ‫ی‬ ‫و‬ ‫یژگی‬ ‫دسترس‬ ‫پذ‬ ‫یری‬ ‫در‬ ‫سامانه‬ ‫ها‬ ‫ی‬ ‫تبد‬ ‫یل‬ ‫رو‬ ‫با‬ ‫گراف‬ ‫یکرد‬ ‫وابستگ‬ ‫کشف‬ ‫ی‬ ‫شرطی‬ ‫قوانین‬ ‫بین‬ ‫جعفر‬ ‫پرتاب‬ ‫ی‬ ‫ان‬ ‫دانشکد‬ ‫ۀ‬ ‫مهندسی‬ ‫کامپیوتر‬ -‫واحد‬ ‫المرد‬ -‫دانشگاه‬ ‫آزاد‬ ‫اسالمی‬ -‫المرد‬ -‫ایران‬ ‫عضو‬ ‫باشگاه‬ ‫پژوهشگران‬ ‫جوان‬ ‫و‬ ‫نخبگان‬ -‫واحد‬ ‫المرد‬ -‫دانشگاه‬ ‫آزاد‬ ‫اسالمی‬ -‫المرد‬ -‫ایران‬ ‫چکیده‬ ‫وارسی‬ ‫الگو‬ 1 ‫از‬ ‫یکی‬ ‫مؤثرتر‬ ‫ین‬ ‫شیوه‬ ‫صحت‬ ‫های‬ ‫خودکار‬ ‫سنجی‬ ‫و‬ ‫یژگی‬ ‫های‬ ‫سامانه‬ ‫های‬ ‫سخت‬ ‫افزار‬ ‫و‬ ‫ی‬ ‫نرم‬ ‫افزار‬ ‫است‬ ‫ی‬ .

Read the paper · More papers on PaperTik