-
1مؤتمر
المؤلفون: Clarke, E.M., Kroening, D., Yorav, K.
المصدر: Proceedings 21st International Conference on Computer Design Computer design Computer Design, 2003. Proceedings. 21st International Conference on. :48-55 2003
Relation: 21st International Conference on Computer Design
-
2مؤتمر
المؤلفون: Clarke, E., Kroening, D., Yorav, K.
المصدر: Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451) Design automation conference Design Automation Conference, 2003. Proceedings. :368-371 2003
Relation: Proceedings 2003. Design Automation Conference
-
3دورية أكاديمية
المؤلفون: Chaki, S., Clarke, E., Groce, A., Ouaknine, J., Strichman, O., Yorav, K.
المصدر: Formal Methods in System Design: An International Journal. September 2004 25(2-3):129-166
-
4
المؤلفون: Clarke, E, Kroening, D, Sharygina, N, Yorav, K
المصدر: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005). 3440
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0f8d6383569c34e8bfb9c6c8f3b3c79b
http://ora.ox.ac.uk/objects/uuid:8d093dc2-18b1-407b-95d7-668bacc6716d -
5مؤتمر
المؤلفون: Baumgartner, J., Mony, H., Case, M., Sawada, J., Yorav, K.
المصدر: 2009 Formal Methods in Computer-Aided Design; 2009, p120-127, 8p
-
6مؤتمر
المؤلفون: Arbel, E., Rokhlenko, O., Yorav, K.
المصدر: 2009 Formal Methods in Computer-Aided Design; 2009, p198-204, 7p
-
7دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
8دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
9دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
10
المؤلفون: Frehse, S., Fey, G., Arbel, E., Yorav, K., Rolf Drechsler
المصدر: Scopus-Elsevier
مصطلحات موضوعية: formal methods, fault tolerance, EDA
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::143de7819def14ba99b8529fe0478538
http://www.scopus.com/inward/record.url?eid=2-s2.0-84874589406&partnerID=MN8TOARS