( en | de | ru )

 

Disambiguierung von "Gu, Ming"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying simulink stateflow model: timed automata approach.

, , , und . ASE, Seite 852-857. ACM, (2016)

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.

Xuewu Gu

Wei Gu

Xiaogang Gu

Hyosong Gu

Jie Gu

 

Weitere Publikationen von Autoren mit dem selben Namen

An Algorithm to Compute Sepλ., und . SIAM J. Matrix Anal. Appl., 28 (2): 348-359 (2006)A Geometric-Relational Deep Learning Framework for BIM Object Classification., , , , , und . ECCV Workshops (7), Volume 13807 von Lecture Notes in Computer Science, Seite 349-365. Springer, (2022)IntPTI: automatic integer error repair with proper-type inference., , , , und . ASE, Seite 996-1001. IEEE Computer Society, (2017)Automatic Integrity Checking of IFC Models relative to building Regulations., , und . ICIMCS, Seite 52-56. ACM, (2016)Formal Specification and Code Generation of Programable Logic Controllers., , , und . ICECCS, Seite 102-109. IEEE Computer Society, (2009)Enhanced Location Privacy Protection of Base Station in Wireless Sensor Networks., , , , und . MSN, Seite 457-464. IEEE Computer Society, (2009)Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks., , , , , und . IWQoS, Seite 1-6. IEEE, (2017)Data mining based decomposition for assume-guarantee reasoning., , , , und . FMCAD, Seite 116-119. IEEE, (2009)Adaptive Group Routing and Scheduling in Multicast Time-Sensitive Networks., und . IEEE Access, (2020)Efficient Algorithms for Computing a Strong Rank-Revealing QR Factorization., und . SIAM J. Sci. Comput., 17 (4): 848-869 (1996)