( en | de | ru )

 

Disambiguierung von "Zhao, Jianhua"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models.

, , , , und . HASE, Seite 487-490. IEEE Computer Society, (2008)

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.

Jianhua Liu

Zhao Zhao

Jianhua Huang

Jianhua Zhu

Jianhua Zhang

 

Weitere Publikationen von Autoren mit dem selben Namen

Geomorphic zones mapping and development status monitoring of coral reefs in Xisha, China., , , und . IGARSS, Seite 4588-4591. IEEE, (2016)Supporting Automatic Code Review via Design., , und . SERE (Companion), Seite 211-218. IEEE, (2013)Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer., , , , , und . SEKE, Seite 369-374. Knowledge Systems Institute Graduate School, (2012)Separable Two-Dimensional Linear Discriminant Analysis., , und . COMPSTAT, Seite 597-604. Physica-Verlag, (2010)Knowledge Construction through Discussion Forum in a Blended Learning Environment., und . ICHL, Volume 6248 von Lecture Notes in Computer Science, Seite 395-406. Springer, (2010)Formal Verification of 'Programming to Interfaces' Programs., und . Int. J. Softw. Informatics, (2016)Fast ML Estimation for the Mixture of Factor Analyzers via an ECM Algorithm., und . IEEE Trans. Neural Networks, 19 (11): 1956-1961 (2008)A MDE Based Approach for Bridging Formal Models., , , und . TASE, Seite 113-116. IEEE Computer Society, (2008)STAD Modeling Method for Computer Supported Group Learning., , , und . ICCE, Seite 344-348. IEEE Computer Society, (2002)Improve Model Checking Efficiency Using Specific Knowledge about the System., , , und . ISoLA, Seite 392-396. IEEE Computer Society, (2006)