المؤلفون: Yael Abarbanel-vinov, Neta Aizenbud-reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-haham

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.research.ibm.com/pics/verification/ps/separate_figures.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.6705; http://www.research.ibm.com/pics/verification/ps/separate_figures.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.6705
http://www.research.ibm.com/pics/verification/ps/separate_figures.ps

المؤلفون: Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Irit Shitsevalov, Cindy Eisner, Iris Reuveni, Tali Yatzkar-Haham, Yaron Wolfsthal, Ilan Beer, Daniel Geist, Tamir Heyman, Eran Rippel

المصدر: Formal Methods in System Design. 19:35-44

مصطلحات موضوعية: Model checking, High-level verification, Functional verification, Programming language, Computer science, business.industry, Runtime verification, Formal equivalence checking, computer.software_genre, Formal methods, Theoretical Computer Science, Intelligent verification, Hardware and Architecture, Software deployment, Verification and validation of computer simulation models, Verification, Software engineering, business, Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION, computer, Formal verification, Software, Software verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::22163b2a577ba0e8eb2e52412bf3819e
https://doi.org/10.1023/a:1011219209077

المؤلفون: Neta Aizenbud-Reshef, Vladimir Soroka, Michal Jacovi, Eran Belinsky, David Laufer

المصدر: CHI Extended Abstracts

مصطلحات موضوعية: Cognitive science, Multimedia, Computer science, Human memory, computer.software_genre, Episodic memory, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b5ba2830b0bad984117c9702eef45eba
https://doi.org/10.1145/1358628.1358836