( en | de | ru )

 

Disambiguierung von "Xiao, Fangxiong"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Counterexample Generation for Probabilistic Timed Automata Model Checking.

, , , und . CSSE (2), Seite 210-214. IEEE Computer Society, (2008)978-0-7695-3336-0.

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.

Wenjiang Xiao

Fang Xiao

Chun Xiao

Meifang Xiao

Jianping Xiao

 

Weitere Publikationen von Autoren mit dem selben Namen

Modeling Service Composition Using Priced Probabilistic Process Algebra., , und . SOSE, Seite 35-38. IEEE Computer Society, (2010)Modeling Cost-Aware Web Services Composition Using PTCCS., , , , und . ICWS, Seite 461-468. IEEE Computer Society, (2009)Modeling and Analysis of Flexible Transaction for Web Services., , und . ICWS, Seite 1008-1009. IEEE Computer Society, (2009)Modelling and analysis of real-time and reliability for WSN-based CPS., , und . Int. J. Internet Protoc. Technol., 12 (2): 76-84 (2019)From Abstract to Details: A Generative Multimodal Fusion Framework for Recommendation., , , , , , und . ACM Multimedia, Seite 258-267. ACM, (2022)Counterexample Generation for Probabilistic Timed Automata Model Checking., , , und . CSSE (2), Seite 210-214. IEEE Computer Society, (2008)978-0-7695-3336-0.Effectiveness Evaluation of Humanware Service in Novel Decision System., , , , , und . ICNSC, Seite 1-6. IEEE, (2020)面向组合式软件功能正确性和非功能满足性的统一建模方法 (Unified Modeling Method of Functional and Non-functional Aspects for Composite Software)., , , , und . 计算机科学, 42 (12): 162-166 (2015)基于抽象解释的服务间消息的数据约减 (Data Reduction Analysis for Message between Services Based on Abstract Interpretation)., , , , und . 计算机科学, 42 (12): 175-180 (2015)Support Web Services Composition with Optimal Cost Using PPA., , , , und . ICWS, Seite 760-761. IEEE Computer Society, (2008)