Font Size: a A A
Keyword [temporal logic]
Result: 81 - 100 | Page: 5 of 9
81. Research On Temporal Property Analysis And Verification Of Privacy Requirement In Web Services Composition
82. Research On Intrusion Detection Methods Based On The Temporal Logic Model Validation
83. Research On Network Attack Model Based On Temporal Logic
84. FTA Based Avionics Software Safety Verification Methodology
85. Optimal Patrolling Path Planning Method And Application Based On Linear Temporal Logic
86. The Design And Implementation Of Linear Temporal Logic Satisfiability Tool
87. Bi-directional Consistency Checking Based On Temporal Logic
88. Research On Runtime Vefication Technique Based On LTL Formula Progression
89. The Research Of Runtime Verification Technology Based On Live Sequence Chart
90. Modeling And Detection Of Network Attack Based On Temporal Logic
91. Symbolic Model Checking Real-time Temporal Logic RTCTL * With BDDs And The Witness Generation
92. Monitor Generation Based On Run-time Verification
93. A Research For Functional Modeling Of Module Which Changed Parallel Signal To Serial With Different Model Checking Technologies
94. Formal Verification On Wireless Sensor Network Security Protocols Using CSP Model Checking
95. Formal Modeling And Analysis Of Wireless Sensor Network Security Protocols
96. Research On The Method Of Web Services Composition For User’s Privacy Requirement
97. Research On LTL Property Decomposition Based On SPIN
98. Research On Consistency Checking Between Model Refinements
99. Research And Implementation Of Temporal Logic Model Checking Algorithm Based On Cloud Computing Platform
100. XQuery Tree Pattern Optimization Based On Temporal Logic
  <<First  <Prev  Next>  Last>>  Jump to