Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Symbolic Analysis of Programmable Logic Controllers., , , , , und . IEEE Trans. Computers, 63 (10): 2563-2575 (2014)Transfer learning based deep network for signal restoration and rhythm analysis during cardiopulmonary resuscitation using only the ECG waveform., , , , , und . Inf. Sci., (Mai 2023)Specifying Time-Sensitive Systems with TLA+., , und . COMPSAC, Seite 425-430. IEEE Computer Society, (2010)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)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)MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications., , , , , und . CoRR, (2019)Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins., , , , , und . CoRR, (2022)