PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Wang, Wei-Chen"

Author of the publication

copydeleteadd this publication to your clipboard
A Stride-Away Programming Scheme to Resolve Crash Recoverability and Data Readability Issues of Multi-Level-Cell Flash Memory.

, , , , and . NVMSA, page 67-72. IEEE, (2018)

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. You can also use the button next to the name to display some publications already assigned to the person.

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

 

Other publications of authors with the same name

A Formal Approach for the Iterative Design of Behavioural Models.. APSEC, page 505-510. IEEE, (2012)Formal verification of function blocks applied to IEC 61131-3., , , and . Sci. Comput. Program., (2015)Formal model-driven engineering of critical information systems., , , and . Sci. Comput. Program., (2015)Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS., , , and . FTSCS, volume 419 of Communications in Computer and Information Science, page 125-141. Springer, (2013)Fuzzy neural network-based adaptive impedance force control design of robot manipulator under unknown environment., and . FUZZ-IEEE, page 1442-1448. IEEE, (2014)Formal Model-Driven Engineering: Generating Data and Behavioural Components, and . FTSCS, volume 105 of EPTCS, page 100-117. (2012)A Stride-Away Programming Scheme to Resolve Crash Recoverability and Data Readability Issues of Multi-Level-Cell Flash Memory., , , , and . NVMSA, page 67-72. IEEE, (2018)Formal and Model-Based Testing of Concurrent Workflows., , and . QSIC, page 252-259. IEEE Computer Society, (2011)TTM/PAT: Specifying and Verifying Timed Transition Models., , , , and . FTSCS, volume 419 of Communications in Computer and Information Science, page 107-124. Springer, (2013)Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems., , and . ESSS, volume 184 of EPTCS, page 81-95. (2015)