Dissertation　

About 20 item dissertation in line with Formal Modeling query results,the following is 1 to 50(Search took 0.037 seconds)

  1. Formal Specification and Application of Istribution Network Topology,HuangYuHui/Shanghai Jiaotong University,0/217
  2. Research of Analysis Method in RBC Based on Model Checking,SongHaiFeng/Beijing Jiaotong University,0/12
  3. Formal Analysis and Research of Rudp Protocol,ZhaoFuKui/Shandong University,0/11
  4. Study and Implementation of Service Oriented Heterogeneous Multi Processor System-on-Chip,FengXiaoJing/University of Science and Technology of China,0/103
  5. Application and Research on GSM-R in Centralized Monitoring of the Signal,ShuiJing/Lanzhou Jiaotong University,0/4
  6. Research on Object-Oriented Algebra Petri Net Model,PanHongJun/Jilin University,4/404
  7. Research on Service-Oriented New Generation Network Architecture and Its Formal Modeling,YangPeng/Southeast University,3/1466
  8. Research and Application of Performance Analysis, System Design and Network Interconnection in Control Network System,PengKe/Central South University,4/987
  9. Formal Modeling and Analysis of Mission-Critical Systems for Survivability,WangJian/Harbin Engineering University,1/302
  10. Formal Modeling and Analysis of Service-Oriented Mission-Critical Network System Security Situation,LiangYing/Harbin Engineering University,4/327
  11. Research on Formal Modeling and Verification Methodology of TCN System,LiuMing/Harbin Engineering University,0/106
  12. Research and Implementation of BOM Multi-View in PDM,CaiLiXia/Shanghai Jiaotong University,5/400
  13. Research of Policy-based Information Security Model and Formal Modeling,LiuMiXia/Lanzhou University of Technology,6/267
  14. Research on Formalization of UML Based on Petri Net,HuZhengLiang/Anhui University,3/173
  15. Generation and Formal Verification of Radio Block Center Data Streams Based on STATEMATE,QinLing/Beijing Jiaotong University,1/100
  16. HMIPv6 Formal Verification Research Based on Color Petri Nets,KangZhiHui/Inner Mongolia University,0/24
  17. The Research on the Design and Development of Thinking Toolset in the Synergistic Learning System,WuDan/East China Normal University,0/151
  18. HMIPv6 Protocol Formal Modeling and Research on Test Case Generation Method,YangMeng/Inner Mongolia University,1/15
  19. VV A formal process modeling and analysis method,GuoNa/Harbin Institute of Technology,0/61
  20. Building of Security Weaknesses Knowledge Base Based on Formal Modeling,CaoYan/Tianjin University,0/41

Total 1 Pages First Previous 1 Next Last

© 2012 www.DissertationTopic.Net  Mobile