( en | de | ru )

 

Disambiguierung von "Salem, Ashraf"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combinational equivalence checking using Boolean satisfiability and binary decision diagrams.

, und . DATE, Seite 122-126. IEEE Computer Society, (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mohamed Salem

Detection of Mycobacterium avium subspecies paratuberculosis in dairy herds and comparative molecular characterization. Uni Gießen, (2009)

Ashraf Bozorgzadéh

Ashraf Elsayed

Ashraf Samarah

Mohamed Ashraf

 

Weitere Publikationen von Autoren mit dem selben Namen

AUTOSAR-based communication coprocessor for automotive ECUs., , , und . DATE, Seite 1026-1027. IEEE, (2016)Tutorial 1: Foundations and Practical Design of CMOS Image Sensors., , , , , , , , , und 1 andere Autor(en). ICECS, IEEE, (2013)A novel approach for assertion based verification of DDR memory protocols., , , und . FDL, Seite 1-4. IEEE, (2013)Formal Verification of Digital Circuits.. IWSOC, Seite 15. IEEE Computer Society, (2004)Formal Based Methodology for Inferring Memory Mapped Registers., , und . MTV, Seite 15-18. IEEE Computer Society, (2016)TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip., , , und . MTV, Seite 1-4. IEEE Computer Society, (2011)Towards Automating Hardware/Software Co-Design., , , , und . IWSOC, Seite 189-192. IEEE Computer Society, (2004)A novel approach for system level synthesis of multi-core system architectures from TPG models., , , , und . AICCSA, Seite 268-275. IEEE Computer Society, (2011)Anomaly Detection System for Altered Signal Values within the Intra-Vehicle Network., , und . DTIS, Seite 1-6. IEEE, (2020)M-CHECK: a multiple engine combinational equivalence checker., , und . ISCAS, Seite 613-616. IEEE, (2000)