( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modeling and verification of industrial flash memories.

, , , и . ISQED, стр. 705-712. IEEE, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sandip Agarwala

Sandip Murarka

Sandip Roy

Sandip Halder

Sandip Dhomse

 

Другие публикации лиц с тем же именем

REDEM: Real-Time Detection and Mitigation of Communication Attacks in Connected Autonomous Vehicle Applications., и . IFIPIoT, том 574 из IFIP Advances in Information and Communication Technology, стр. 105-122. Springer, (2019)Poster: Efficient Exploration of Automotive Ranging Sensor Attacks., , , и . MobiHoc, стр. 589-591. ACM, (2023)Security challenges in mobile and IoT systems., и . SoCC, стр. 356-361. IEEE, (2016)Equivalence checking for function pipelining in behavioral synthesis., , и . DATE, стр. 1-6. European Design and Automation Association, (2014)Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols., , и . FMCAD, стр. 168-175. IEEE, (2015)VIVE: Virtualization of Vehicular Electronics for System-level Exploration., , и . ITSC, стр. 3307-3312. IEEE, (2021)Deep-Learning-Based Intrusion Detection for Autonomous Vehicle-Following Systems., , , , , , , и . ITSC, стр. 865-872. IEEE, (2021)Do VIR: Virtualizing Food Donation Distribution through Mobile Application and Cloud-Based Supply Chain Management., , и . ICCE, стр. 1-5. IEEE, (2021)Safety, Security, and Reliability: The Automotive Robustness Problem and an Architectural Solution.. ICCE, стр. 1-4. IEEE, (2019)Optimizing equivalence checking for behavioral synthesis., , , и . DATE, стр. 1500-1505. IEEE Computer Society, (2010)