Auflistung nach Autor "Tran, Huy"
Anzeige der Dokumente 1-2 von 2
-
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.
Czepa, Christoph; Tran, Huy; Zdun, Uwe; Tran, Thanh Thi Kim; Weiss, Erhard; Ruhsam, Christoph
49-52 -
View-based and Model-driven Approach for Reducing the Development Complexity in Process-Driven SOA
Tran, Huy; Zdun, Uwe; Dustdar, Schahram
105-124