( en | de | ru )

 

Disambiguierung von "Zhao, Jianhua"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Timing Analysis of UML Activity Diagrams.

, , , , und . UML, Volume 2185 von Lecture Notes in Computer Science, Seite 62-75. Springer, (2001)

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 Su

 

Weitere Publikationen von Autoren mit dem selben Namen

An Integration of Several Different Data Flow Analysis Techniques., , und . ISCTCS, Volume 320 von Communications in Computer and Information Science, Seite 458-465. Springer, (2012)An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems., und . ISCTCS, Volume 320 von Communications in Computer and Information Science, Seite 482-489. Springer, (2012)Developing an Indicator System of ICT in Education: From Conceptual Model to Items Extraction., und . ICHL, Volume 8038 von Lecture Notes in Computer Science, Seite 110-121. Springer, (2013)Assertion-Directed Precondition Synthesis for Loops over Data Structures., , und . SETTA, Volume 9409 von Lecture Notes in Computer Science, Seite 258-274. Springer, (2015)Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming., , und . VMCAI, Volume 5944 von Lecture Notes in Computer Science, Seite 78-94. Springer, (2010)Detection of Alone Stress and Combined Stress by CU and NI in Wheat Using Visible to Near-Infrared Spectroscopy., , , , und . Agro-Geoinformatics, Seite 1-6. IEEE, (2018)Test adequacy criterion based on coincidental correctness probability., , , und . Internetware, Seite 20. ACM, (2010)Discourse analysis of collaborative meaning making in CSCL., , und . CSCL, International Society of the Learning Sciences, (2011)BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution)., , , , , , und . TACAS (2), Volume 13244 von Lecture Notes in Computer Science, Seite 408-412. Springer, (2022)Construction and Debugging of High Gain Zero Current Input Ripple Converter., , , , und . ICITEE, Seite 25:1-25:5. ACM, (2021)