( en | de | ru )

 

Disambiguierung von "He, Jifeng"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation.

, , , , und . IEEE Trans. Cloud Comput., 8 (2): 443-458 (2020)

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.

Jifeng Fei

Tao He

He Huang

Xiaowen He

Ping He

 

Weitere Publikationen von Autoren mit dem selben Namen

An Approach to the Specification and Verification of a Hardware Compilation Scheme., und . The Journal of Supercomputing, 19 (1): 23-39 (2001)Deriving operational semantics from denotational semantics for Verilog, , und . Seite 177--184. (2001)Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics, , und . (2002)rCOS: A refinement calculus of object systems, , und . Theoretical Computer Science, 365 (1-2): 109--142 (November 2006)Hybrid MARTE statecharts., , , , und . Frontiers Comput. Sci., 7 (1): 95-108 (2013)Linking Semantic Models.. ICTAC, Volume 4711 von Lecture Notes in Computer Science, Seite 18-33. Springer, (2007)A Behavioral Model for Co-design.. World Congress on Formal Methods, Volume 1709 von Lecture Notes in Computer Science, Seite 1420-1438. Springer, (1999)MDA Approach for Non-functional Properties of Dependable and Distributed Real-Time Systems., und . ICHIT (2), Volume 206 von Communications in Computer and Information Science, Seite 600-608. Springer, (2011)A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems., und . ICHIT (2), Volume 206 von Communications in Computer and Information Science, Seite 391-398. Springer, (2011)An Algebraic Approach to the VERILOG Programming.. 10th Anniversary Colloquium of UNU/IIST, Volume 2757 von Lecture Notes in Computer Science, Seite 65-80. Springer, (2002)