( en | de | ru )

 

Disambiguierung von "Ding, Zuohua"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Online reliability computing of composite services based on program invariants.

, , und . Inf. Sci., (2014)

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.

Ding Ding

Ding Ding

Huawen Ding

Wei Ding

Shizhao Ding

 

Weitere Publikationen von Autoren mit dem selben Namen

Accelerator Virtualization Framework Based on Inter-VM Exitless Communication., , , , , , und . Int. J. Softw. Informatics, 11 (2): 169-193 (2021)Fuzzy timed petri net definitions, properties, and applications., , , und . Math. Comput. Model., 41 (2-3): 345-360 (2005)Metamorphic Testing of Code Search Engines., , und . TASE, Seite 177-184. IEEE, (2020)Tracking a Ground Moving Target with UAV Based on Interval Type-2 Fuzzy Logic., , , und . TASE, Seite 65-72. IEEE, (2020)Test Case Generation of Concurrent Programs Based on Event Graph., , und . NCM, Seite 143-149. IEEE Computer Society, (2009)A rigorous approach towards test case generation., , und . Inf. Sci., 178 (21): 4057-4079 (2008)Behavior Analysis of Software Systems Based on Petri Net Slicing., , und . ICIC (1), Volume 7389 von Lecture Notes in Computer Science, Seite 475-482. Springer, (2012)Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets., , und . PaCT, Volume 6873 von Lecture Notes in Computer Science, Seite 257-271. Springer, (2011)Applying Ordinary Differential Equations to the Performance Analysis of Service Composition., , und . ICFEM, Volume 6447 von Lecture Notes in Computer Science, Seite 155-170. Springer, (2010)Modelling and Verification of Web Navigation., , , und . ICWE, Volume 5648 von Lecture Notes in Computer Science, Seite 181-188. Springer, (2009)