المؤلفون: A. Mclsaac, N. Dunlop, L. Benalycherif

المصدر: IEEE International Workshop on Rapid System Prototyping

مصطلحات موضوعية: Model checking, Logic synthesis, Null (SQL), Computer science, Programming language, Random number generation, Formal specification, System on a chip, Specification language, computer.software_genre, computer, Formal verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::79ab9199d7010447bf69209aaa621e8f
https://doi.org/10.1109/rsp.2007.36

المؤلفون: Y. Lahbib, D. Pidan, R. Kamidem, G. Shapir, Daniel Geist, Leonid Gluhovsky, L. Benalycherif, Yaron Wolfsthal, Anat Dahan

المصدر: ISQED

مصطلحات موضوعية: High-level verification, Electronic system-level design and verification, Functional verification, Programming language, Computer science, Hardware description language, computer.software_genre, Intelligent verification, SystemC, VHDL, Verilog, Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION, computer, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8cb765000b17205fe0422c3367ef5fca
https://doi.org/10.1109/isqed.2005.32

المؤلفون: Y. Souissi, Piotr Dembinski, E. Lallet, B. Alkhechi, M. Gardie, Stanislaw Budkowski, M. L. Benalycherif, J. P. Mouchel La Fosse

المصدر: The OSI95 Transport Service with Multimedia Support ISBN: 9783540583165
The OSI95 Transport Service with Multimedia Support

مصطلحات موضوعية: Xpress transfer protocol, Computer science, Operating system, computer.software_genre, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7c61c9f9b6c83061bb0905124e0aa3b5
https://doi.org/10.1007/978-3-642-85165-0_3