PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Ray, Sandip"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Integrating external deduction tools with ACL2.

, , , und . J. Applied Logic, 7 (1): 3-25 (2009)

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.

Keine Personen gefunden für den Autorennamen Ray, Sandip
Eine Person hinzufügen mit dem Namen Ray, Sandip
 

Weitere Publikationen von Autoren mit dem selben Namen

A Unified Formal Framework for Analyzing Functional and Speed-path Properties., , , und . MTV, Seite 44-45. IEEE Computer Society, (2011)Mechanized Certification of Secure Hardware Designs., und . MTV, Seite 25-32. IEEE Computer Society, (2007)The Changing Computing Paradigm With Internet of Things: A Tutorial Introduction., , und . IEEE Design & Test, 33 (2): 76-96 (2016)Exploiting transaction level models for observability-aware post-silicon test generation., , und . DATE, Seite 1477-1480. IEEE, (2016)Validating scheduling transformation for behavioral synthesis., , , , , und . DATE, Seite 1652-1657. IEEE, (2016)Protecting the supply chain for automotives and IoTs., , und . DAC, Seite 89:1-89:4. ACM, (2018)Wearables, Implants, and Internet of Things: The Technology Needs in the Evolving Landscape., , und . IEEE Trans. Multi-Scale Computing Systems, 2 (2): 123-128 (2016)Guest Editors' Introduction: Secure Automotive Systems., , und . IEEE Design & Test, 36 (6): 5-6 (2019)Innovative practices session 7C: Verification and testing challenges in high-level synthesis., und . VTS, Seite 250. IEEE Computer Society, (2010)Can't See the Forest for the Trees: State Restoration's Limitations in Post-silicon Trace Signal Selection., , , , und . ICCAD, Seite 1-8. IEEE, (2015)