( en | de | ru )

 

Disambiguierung von "Liu, Zhiming"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A formal semantics of UML sequence diagram

, , und . Software Engineering Conference, 2004. Proceedings. 2004 Australian, Seite 168--177. (2004)
DOI: 10.1109/ASWEC.2004.1290469

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.

Zhiming Liu

Zhiming Chen

Zhiming Chen

Zhiming Chen

Zhiming Wang

 

Weitere Publikationen von Autoren mit dem selben Namen

A formal semantics of UML sequence diagram, , und . Software Engineering Conference, 2004. Proceedings. 2004 Australian, Seite 168--177. (2004)Frequency and Color Fusion for Face Verification., und . Cross Disciplinary Biometric Systems, Volume 37 von Intelligent Systems Reference Library, Springer, (2012)Verifying duration properties of timed transition systems., , und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 327-345. Chapman & Hall, (1998)Editorial., und . Formal Asp. Comput., 29 (4): 581-582 (2017)Robust Face Recognition Using Color Information., und . ICB, Volume 5558 von Lecture Notes in Computer Science, Seite 122-131. Springer, (2009)Specification and Verification of Fault-Tolerance, Timing, and Scheduling., und . ACM Trans. Program. Lang. Syst., 21 (1): 46-89 (1999)Failure-Divergence Refinement of Compensating Communicating Processes., , und . FM, Volume 6664 von Lecture Notes in Computer Science, Seite 262-277. Springer, (2011)Model-Driven Design of Object and Component Systems., und . SETSS, Volume 9506 von Lecture Notes in Computer Science, Seite 152-255. Springer, (2014)A Summary of the Tutorials at ICTAC 2004.. ICTAC, Volume 3407 von Lecture Notes in Computer Science, Seite 557-560. Springer, (2004)The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing., , , und . EuroS&P Workshops, Seite 145-152. IEEE, (2018)