( en | de | ru )

 

Disambiguierung von "Wang, Ji"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modelling and model checking suspendible business processes via statechart diagrams and CSP

, , , und . Science of Computer Programming, 65 (1): 14--29 (März 2007)
DOI: http://dx.doi.org/10.1016/j.scico.2006.08.007

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.

Ji Wang

Ji-Feng Wang

Ji-boa Wang

Wang Wang

Hui Ji

 

Weitere Publikationen von Autoren mit dem selben Namen

Scheduling jobs with chain precedence constraints and deteriorating jobs., , und . J. Oper. Res. Soc., 62 (9): 1765-1770 (2011)Deep Learning-based Transformation Matrix Estimation for Bidirectional Interframe Prediction., , und . GCCE, Seite 726-730. IEEE, (2018)Joint Optimization of Stateful VNF Placement and Routing Scheduling in Software-Defined Networks., , , , , und . ISPA/IUCC/BDCloud/SocialCom/SustainCom, Seite 9-14. IEEE, (2018)A load-transient-enhanced output-capacitor-free low-dropout regulator based on an ultra-fast push-pull amplifier., , , , und . ASICON, Seite 1-4. IEEE, (2015)Modelling and model checking suspendible business processes via statechart diagrams and CSP, , , und . Science of Computer Programming, 65 (1): 14--29 (März 2007)A topology-aware method for scientific application deployment on cloud., , , , und . IJWGS, 10 (4): 338-370 (2014)Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs., , und . QSIC, Seite 197-200. IEEE, (2012)Compositional Verification of UML Dynamic Models., , , und . APSEC, Seite 286-293. IEEE Computer Society, (2007)On the Design of Hybrid Control Systems Using Automata Models., und . FSTTCS, Volume 1180 von Lecture Notes in Computer Science, Seite 156-167. Springer, (1996)Experiential Interaction Modeling for Virtual Training of Ultra-High Voltage Power System and Its Application., , , , , , , und . CSA/CUTE, Volume 474 von Lecture Notes in Electrical Engineering, Seite 566-572. Springer, (2017)