Dissertation 

About 92 item dissertation in line with temporal logic query results,the following is 1 to 50(Search took 0.011 seconds)

  1. The Research of Runtime Verification on Real-Time System,WangZhen/Central China Normal University,0/3
  2. The Improvement and Application of the PPTL Model Checker,ZhangXiaoXing/Xi'an University of Electronic Science and Technology,1/17
  3. The Extension and Application of the Modeling,Simulation and Verification Tool,GuoXia/Xi'an University of Electronic Science and Technology,1/6
  4. Formalization and Model Checking Methods of System Security Model Based on UMLsec,WeiRan/Shandong University,0/7
  5. Study on the technology requirements and business process consistency detection,LiuJinDu/Fudan University,0/23
  6. Research on Modelling MDSoC Approach for Aspect-Oriented SA Design,ZhangLinLin/Wuhan University,0/22
  7. Testing and Verification Methods Based on UML2.0Models,ZhangZuo/Xi'an University of Electronic Science and Technology,1/158
  8. The Socket Communication Program Analysis System Based on SPIN,YuLiQuan/Nanchang University,1/56
  9. Lattice-valued Quantitative Verification of State Transition Systems,PanHaiYu/East China Normal University,0/52
  10. LTL Model Checking Based on Possibility Measure,LiLiJun/Shaanxi Normal University,0/83
  11. Research on Authentication Methods of Security Protocols Based on Temporal Logic,YangLinLin/Nanjing University of Aeronautics and Astronautics,0/21
  12. Study of quantified modal logic and its applications in model checking,ShiHuiZuo/Shaanxi Normal University,0/1
  13. Spatio-Temporal Logic for Cyber-Physical Systems,ShaoZhuCheng/East China Normal University,0/22
  14. A Complete Axiomatization for Propositional Projection Temporal Logic and Formal Verifications,ZhangNan/Xi'an University of Electronic Science and Technology,0/46
  15. Formal Verification of Hybrid Systems,ZhangHaiBin/Xi'an University of Electronic Science and Technology,1/250
  16. The Key Technology Study of Intelligent Fault Diagnosis Systems in Power Network,LeQuanMing/Shanghai Jiaotong University,4/1244
  17. The Strand Spaces Theory and Its Application to the Analysis of Security Protocols,LongShiGong/Guizhou University,3/375
  18. The Research and Application of Active Mechanism in Active Object-Oriented Database Systems,LiQingZhong/Institute of Computing Technology,9/305
  19. Research on Computer Animation Description Model and Rendering Technique,MaHuaDong/Institute of Computing Technology,0/363
  20. Paraconsistent Temporal Logic and Its Model Checking,ChenDongHuo/Chengdu Institute of Computer Applications,0/225
  21. Research on the Formal Design of Digital Hardware: Theories and Approaches,WangWeiWei/Zhejiang University,1/338
  22. LTLC: for real-time hybrid system continuous sequential logic,LiGuangYuan/Institute of Software, Chinese Academy of Sciences,6/241
  23. The Genealogy of Logic in East Asian Community Building,XuJia/Jilin University,2/226
  24. Research on Open Temporal Logic Based Formal Verification and Modular Reasoning of Aspect-Oriented Programs,LvJia/Zhejiang University,1/170
  25. Reasoning and Symbolic Model Checking of Extended Temporal Logics,LiuWanWei/National University of Defense Science and Technology,3/248
  26. Object-oriented MSVL and Its Application to Verification of Composite Web Services,WangXiaoBing/Xi'an University of Electronic Science and Technology,1/161
  27. Formal Semantics of Framed Temporal Logic Programming Language MSVL,YangZuoZuo/Xi'an University of Electronic Science and Technology,0/154
  28. Model Checking Timed Interval Temporal Logic: Theory, Algorithms and Application,ZhuWeiJun/Xi'an University of Electronic Science and Technology,0/98
  29. Research on Multiagent Coalitional Normative Systems,WuJun/Nanjing University,0/164
  30. A Failure Propagation Model Based Framework for System Safety Analysis,NiuRu/Beijing Jiaotong University,1/156
  31. Aspect-oriented Modeling and Analysis Techniques for Software Fault Tolerance,SunXiaoXing/East China University of Science and Technology,0/56
  32. Stutter-invariant PPTL and Model Checking,YangZuo/Xi'an University of Electronic Science and Technology,0/22
  33. Decidability, Complexity, Expressiveness and Model Checking of Propositional Projection Temporal Logic,TianCong/Xi'an University of Electronic Science and Technology,0/31
  34. A Complete Axiomatization for Projection Temporal Logic and Formal Verifications,ShuXinFeng/Xi'an University of Electronic Science and Technology,0/26
  35. Research on Behavioural Approximate Equivalence of Transition System,ZhangJinJin/Nanjing University of Aeronautics and Astronautics,0/9
  36. Research of Symbol Model Checking,WeiXiaoYong/Xi'an University of Technology,5/183
  37. Symbolic model checking based on a number of issues of research and application,KongQingAi/Jilin University,1/270
  38. Application of Model Checking to Software,LiWuPing/Jilin University,5/365
  39. Multi-Agent System Formal Model Based on Negotiation Axiom System of Temporal Logic,YinHongLi/Yunnan Normal University,6/137
  40. A VSK-t Logic-based Formal Model of Agent System,WuXiaoMin/Yunnan Normal University,2/47
  41. The Study of Formal Specification Based on UML,WangFan/Tianjin University,1/208
  42. Petri net - based workflow technology research and application,XuChao/Dalian University of Technology,16/475
  43. Research of Policy-based Information Security Model and Formal Modeling,LiuMiXia/Lanzhou University of Technology,6/267
  44. A Heuristic Algorithm for Model-Checking Based on Counter Example Finding,ShiXiaoChun/Institute of Software,3/226
  45. Temporal logic and its knowledge base and research framework,LiuDongNing/Guangdong University of Technology,6/242
  46. Research on Feature Interaction Problems Detecting Approach in Component Assemble Using Temporal Logic,FeiLiJuan/Central China Normal University,0/66
  47. Research and Application of tenses object-oriented knowledge representation model,WeiWei/Guangdong University of Technology,9/217
  48. Artillery Automatic Computer Control System for the bomb,XuWeiKe/Harbin Engineering University,3/291
  49. Decidability of Propositional Projection Temporal Logic,TianCong/Xi'an University of Electronic Science and Technology,0/61
  50. Model Checking Propositional Projection Temporal Logic with Infinite Model,MaJunHui/Xi'an University of Electronic Science and Technology,1/71

Total 2 Pages First Previous 1 2 Next Last

© 2012 www.DissertationTopic.Net  Mobile