Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Scrubbing-Aware Secure Deletion for 3-D NAND Flash.

W. Wang, C. Ho, Y. Chang, T. Kuo, und P. Lin. IEEE Trans. on CAD of Integrated Circuits and Systems, 37 (11): 2790-2801 (2018)

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.

Li-Wei Chen University of Stuttgart

Wei Yu University of Stuttgart

Hong Chen University of Stuttgart

Yiyin Chen University of Stuttgart

Jun Chen University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

A Formal Approach for the Iterative Design of Behavioural Models.C. Wang. APSEC, Seite 505-510. IEEE, (2012)Formal verification of function blocks applied to IEC 61131-3.L. Pang, C. Wang, M. Lawford, und A. Wassyng. Sci. Comput. Program., (2015)Formal model-driven engineering of critical information systems.J. Davies, D. Milward, C. Wang, und J. Welch. Sci. Comput. Program., (2015)Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS.L. Pang, C. Wang, M. Lawford, und A. Wassyng. FTSCS, Volume 419 von Communications in Computer and Information Science, Seite 125-141. Springer, (2013)Fuzzy neural network-based adaptive impedance force control design of robot manipulator under unknown environment.W. Wang, und C. Lee. FUZZ-IEEE, Seite 1442-1448. IEEE, (2014)Formal Model-Driven Engineering: Generating Data and Behavioural ComponentsC. Wang, und J. Davies. FTSCS, Volume 105 von EPTCS, Seite 100-117. (2012)A Stride-Away Programming Scheme to Resolve Crash Recoverability and Data Readability Issues of Multi-Level-Cell Flash Memory.C. Ho, Y. Li, P. Lin, W. Wang, und Y. Chang. NVMSA, Seite 67-72. IEEE, (2018)Formal and Model-Based Testing of Concurrent Workflows.C. Wang, A. Cavarra, und J. Davies. QSIC, Seite 252-259. IEEE Computer Society, (2011)TTM/PAT: Specifying and Verifying Timed Transition Models.J. Ostroff, C. Wang, S. Hudon, Y. Liu, und J. Sun. FTSCS, Volume 419 von Communications in Computer and Information Science, Seite 107-124. Springer, (2013)Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems.C. Wang, J. Ostroff, und S. Hudon. ESSS, Volume 184 von EPTCS, Seite 81-95. (2015)