Welcome
Copyright © SirsiDynix. All rights reserved.
branding logo
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
user_choices_background_image
Welcome
login container bottom
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Duplicate Items
Add to My List

Print
Sorts and Limits

Results 1 - 2 of 2
1. Title: Model checking / Edmund M. Clarke, Orna Grumberg, Doron A. Peled.
Author: Clarke, E. M. 1945-
Publication: The MIT Press, Cambridge: 1999.
2. Title: Verification of access control policies using model checking / by Raya Kamel Ali al-Yazjeen ; supervised by Dr. Khair Eddin Sabri.
التحقق من سياسات التحكم في الوصول باستخدام فحص النموذج
Author: Al-Yazjeen, Raya Kamel Ali,
Publication: 2020.
 
 
Results 1 - 2 of 2
Duplicate Items
Add to My List

Print
Sorts and Limits