( en | de | ru )

 

Disambiguierung von "Zhang, Hehua"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.

, , , , , , und . IEEE Trans. Ind. Electron., 62 (2): 1270-1278 (2015)

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.

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)

Yue Zhang

Xianghui Zhang

Le Zhang

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic Analysis of Programmable Logic Controllers., , , , , und . IEEE Trans. Computers, 63 (10): 2563-2575 (2014)Verifying programmable logic controllers with abstraction., , , und . SIES, Seite 225-228. IEEE, (2008)Modeling and analysis of stage machinery control systems by timed colored Petri nets., , und . SIES, Seite 103-110. IEEE, (2008)Specifying Time-Sensitive Systems with TLA+., , und . COMPSAC, Seite 425-430. IEEE Computer Society, (2010)Transfer learning based deep network for signal restoration and rhythm analysis during cardiopulmonary resuscitation using only the ECG waveform., , , , , und . Inf. Sci., (Mai 2023)Optimized Real-Time Object Detection and Tracking Using a Refined YOLOV4 Algorithm., , , und . CAIBDA, Volume 373 von Frontiers in Artificial Intelligence and Applications, Seite 1151-1157. IOS Press, (2023)MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications., , , , , und . CoRR, (2019)Modeling a Heterogeneous Embedded System in Coloured Petri Nets., , , und . J. Appl. Math., (2014)Reliability Analysis of PLC Systems by Bayesian Network., , , , , und . SERE, Seite 283-290. IEEE, (2012)Hybrid Deep Transfer Network and Rotational Sample Subspace Ensemble Learning for Early Cancer Detection., , , , , , und . J. Medical Imaging Health Informatics, 10 (10): 2289-2296 (2020)