Dissertation　

About 17 item dissertation in line with Promela query results,the following is 1 to 50(Search took 0.021 seconds)

  1. Research on Verification Technology of UML Models Based on Model Checking with SPIN,DanZhuoWei/Northwestern University,6/283
  2. The Spin Model Checker Research and Application,WangQiaoLi/Guizhou University,13/607
  3. Verification of ATM Fabric’s Behavior Using SPIN,WuXiaoJun/Lanzhou University,0/85
  4. Security Protocol Analysis and Verification Based on Model Checker SPIN,SunShouQing/Lanzhou University,3/331
  5. SystemC～(FL) Modeling Verification of Hardware Design System Using the SPIN Model Checker,LiCaiHong/Lanzhou University,0/64
  6. Process Modeling and Verification of Service Oriented Architecture,ZhangXiaoYan/Beijing Jiaotong University,3/145
  7. The Verification Method of UML Interactive Charts Based on Model Checking,ChenDong/East China Normal University,0/116
  8. Study of Some Key Issues on Model Checking in Formal Analysis,XiongZuo/Nanchang University,1/105
  9. SPIN model checker mechanism of formal analysis and application,LiuQiaoWei/Nanchang University,4/234
  10. The Design and Implementation of an Automated Model Checking Oriented Model Extractor,WangDaWei/Hunan University,0/105
  11. Composition Abstraction Spin Model Checking Based on Promela and Its Application,ChenDaoXi/Suzhou University,3/233
  12. Based on the design and implementation of model checking , model-driven development system,GongAiMin/East China Normal University,0/65
  13. Based on SPIN / Promela model validation tool for UML Design and Implementation,ShuLiangChun/Nanchang University,1/82
  14. SPIN protocol based on formal analysis and verification,FengJie/Guizhou University,1/50
  15. The Analysis of Model Checking and Verification System of Network Security Protocol,ChengYing/Nanchang University,0/116
  16. The Formal Verification and Improvement of 802.1X Protocol Based on SPIN,ZhengQiang/East China University of Science and Technology,0/28
  17. E-commerce Protocol Analysis and Verification Based on SPIN Model Checking,LiCuiCui/East China University of Science and Technology,0/111

Total 1 Pages First Previous 1 Next Last

© 2012 www.DissertationTopic.Net  Mobile