1
0
0
News
Netzwerk-Profile
LinkedIn: Yefei Zhao - Deutschland | LinkedIn
Sehen Sie sich das Karriere-Profil von Yefei Zhao (Deutschland) auf LinkedIn an. Berufserfahrung von Yefei Zhao: Praktikum als Software Entwickler, B2M.
LinkedIn: Yefei Zhao | LinkedIn
Yefei Zhaos berufliches Profil anzeigen LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und Führungskräften wie Yefei Zhao dabei hilft, ...
Ausbildung
A survey on the practical use of UML for different software ...Scholars Portal Journals
journals.scholarsportal.info
Formal semantics of UML state diagram and automatic verification based on Kripke structure. Authors. Yefei Zhao · Zong-yuan Yang · Jinkui Xie. Source ... Formal semantics of UML state diagram and automatic verification based on Kripke structure. Authors. Yefei Zhao · Zong-yuan Yang · Jinkui Xie. Source ...
Bücher
Software Technology And Engineering - Proceedings Of The ...google.de
books.google.de
... Yefei Zhao Autonomic Com…ng — SCORE /EROCS Shanta Rangaswamy Aspect-Oriented Code Obfuscation Keshnee Padayachee An Overview of CAD Methods for the ...
Dokumente zum Namen
2009 International Conference on Electronic Computer ...Proceedings.com
www.proceedings.com
Yefei Zhao, Zong-yuan Yang, and Jinkui Xie. Based on Kalman Filter the Mobile Manipulator Non-calibration Free. Dynamic Target Tracking Technology Research ... Yefei Zhao, Zong-yuan Yang, and Jinkui Xie. Based on Kalman Filter the Mobile Manipulator Non-calibration Free. Dynamic Target Tracking Technology Research ...
Determination of jasminoidin in rabbit plasma for CAB Direct
www.cabdirect.org
von YF Nan · · Zitiert von: 11 — Author(s) : Nan YeFei ; Zhao XinFeng ; Wei LuSha ; Wang HongFei ; Xiao ChaoNi ; Zheng XiaoHui. Author Affiliation : College of Life Sciences, ... › abstract
Wissenschaftliche Veröffentlichungen
Software Technology and EngineeringScienceGate
www.sciencegate.app
YEFEI ZHAO. Keyword(s):. Design Patterns ◽. Situation Calculus · Download Full-text · MAGNITUDE OF SELF SYSTEMATIZING RESEMBLANCE MEASURES IN KNOWLEDGE MINING. YEFEI ZHAO. Keyword(s):. Design Patterns ◽. Situation Calculus · Download Full-text · MAGNITUDE OF SELF SYSTEMATIZING RESEMBLANCE MEASURES IN KNOWLEDGE MINING.
Yefei ZhaoDBLP
dblp.org
Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu: Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking. Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu: Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking.
Zongyuan YangDBLP
dblp.org
Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu: Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking. J ... Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu: Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking. J ...
Veröffentlichungen allgemein
Formal Model and Analysis of Sliding Window Protocol ...ResearchGate
www.researchgate.net
Jul Yefei Zhao · Zongyuan Yang · Jinkui Xie · Qiang Liu. If probabilistic model checking is applied in software architecture, function validation and ... Jul Yefei Zhao · Zongyuan Yang · Jinkui Xie · Qiang Liu. If probabilistic model checking is applied in software architecture, function validation and ...
Pi-calculus Based Assembly Mechanism of UML State ...ResearchGate
www.researchgate.net
Yefei Zhao · Zongyuan Yang · Jinkui Xie · Qiang Liu. If software architecture is assigned with formal semantics, then automatic verification and validation can ... Yefei Zhao · Zongyuan Yang · Jinkui Xie · Qiang Liu. If software architecture is assigned with formal semantics, then automatic verification and validation can ...
Artikel & Meinungen
Google Groups: FW: 拼车事宜Google Groups
— 发件人: Yefei Zhao 日期: 2014年12月5日星期五下午9:20 至: "'Lin, Xun'" , "'Cao, Yong'"
赵也非的博客科学网—博客
blog.sciencenet.cn
Paper: Formal semantics of UML state diagram and automatic verification Based on Kripke structure Author: Yefei Zhao, Zongyuan Yang, Jinkui Xie Abs ... Paper: Formal semantics of UML state diagram and automatic verification Based on Kripke structure Author: Yefei Zhao, Zongyuan Yang, Jinkui Xie Abs ...
个人主页-赵也非的博文科学网
wap.sciencenet.cn
— Yefei Zhao, Zongyuan Yang, Jinkui Xie. Formal semantics of UML state diagram and automatic verification Based on Kripke structure. 22nd IEEE — Yefei Zhao, Zongyuan Yang, Jinkui Xie. Formal semantics of UML state diagram and automatic verification Based on Kripke structure. 22nd IEEE ...
Sonstiges
Yefei Zhao email address & phone number | SAP Developer ...RocketReach
rocketreach.co
Yefei Zhao, based in Walldorf, BW, DE, is currently a Developer at SAP, bringing experience from previous roles at GBS. Yefei Zhao holds a PHD ... Yefei Zhao, based in Walldorf, BW, DE, is currently a Developer at SAP, bringing experience from previous roles at GBS. Yefei Zhao holds a PHD ...
PRISM - Bibliography (external)PRISM model checker
www.prismmodelchecker.org
[ZYXL10] Yefei Zhao, Zongyuan Yang, Jinkui Xie and Qiang Liu. Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model ... [ZYXL10] Yefei Zhao, Zongyuan Yang, Jinkui Xie and Qiang Liu. Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model ...
Performance Analysis of System Model Based on UML ...Journal of Software
www.jsoftware.us
... Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Department of Computer Science, East China Normal University, Shanghai, China. Abstract—If software Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Department of Computer Science, East China Normal University, Shanghai, China. Abstract—If software ...
Quantitative Analysis of System Based on Extended UML ...Journal of Software
www.jsoftware.us
... Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Department of Computer ... Index Terms—UML state diagrams, Markov process, Probabilistic model checking, Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Department of Computer ... Index Terms—UML state diagrams, Markov process, Probabilistic model checking, ...
Team Saison GreenTeam Uni Stuttgart e.V.GreenTeam Uni Stuttgart
www.greenteam-stuttgart.de
Yefei Zhao. Akkumulator. Team Saison Sebastian Jagfeld. Akkumulator. Team Saison Timo Arends. Inverter. Team Saison Dominique ... Yefei Zhao. Akkumulator. Team Saison Sebastian Jagfeld. Akkumulator. Team Saison Timo Arends. Inverter. Team Saison Dominique ...
Bibliographies: 'Situation Calculu'Grafiati
www.grafiati.com
— LIU, QIANG, ZONGYUAN YANG, and YEFEI ZHAO. "DESIGN PATTERNS IN SITUATION CALCULUS." In Proceedings of the International Conference on ICSTE — LIU, QIANG, ZONGYUAN YANG, and YEFEI ZHAO. "DESIGN PATTERNS IN SITUATION CALCULUS." In Proceedings of the International Conference on ICSTE ...
Pi-calculus based assembly mechanism of UML state ...ScienceBlog.com
scienceblog.com
— Author: Yefei Zhao, Zongyuan Yang, Jinkui Xie. Abstract: UML provides a graphical method to model object-oriented system — Author: Yefei Zhao, Zongyuan Yang, Jinkui Xie. Abstract: UML provides a graphical method to model object-oriented system.
Alt materialeEx Libris Group
kbdk-kp.alma.exlibrisgroup.com
... (ESI) available. See DOI: c5ra12958c. ; Ma, Yefei ; Zhao, Jingjin ; Li, Xuejun ; Zhang, Liangliang ; Zhao, Shulin ;. , ,. Peer reviewed (ESI) available. See DOI: c5ra12958c. ; Ma, Yefei ; Zhao, Jingjin ; Li, Xuejun ; Zhang, Liangliang ; Zhao, Shulin ;. , ,. Peer reviewed.
Yefei Zhao | LinkedIn
www.linkedin.com
View Yefei Zhao's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Yefei Zhao discover inside ...
linkedin.com
www.linkedin.com
Chengdu, Sichuan, China · 助教 · 攀枝花学院Yefei Zhao. Stuttgart · Connect. Explore collaborative articles. We're unlocking community knowledge in a new way. Experts add insights directly into each ...
基于pi演算的UML状态图的组装机制以及模型精化的验证
doc.mbalib.com
9 - Pi-calculus based assembly mechanism of UML state diagram and Validation of model refinement Yefei Zhao, YANG Zong-yuan, Qiang Liu Dept . of Computer ... › view
杨宗源教授- 编译原理|精品课程|华东师范大学
www.cst.ecnu.edu.cn
Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Formal model and analysis of sliding window protocol based on NuSMV. Journal of Computers, v 4, n 6, ... › ~ldou
基于SMV的滑动窗口协议的形式化建模与分析 - 科技论文在线
www.paper.edu.cn
— Yefei Zhao 1 YANG Zong-yuan 1 Jinkui Xie 1. 1、Dept. of Computer Science & Technology, East China Normal University. › content
Verwandte Suchanfragen zu Yefei Zhao
Person "Zhao" (2) Vorname "Yefei" (4) Name "Zhao" (1053) |
sortiert nach Relevanz / Datum