Font Size:
a
A
A
Keyword [projection temporal logic]
Result: 1 - 18 | Page: 1 of 1
1.
Study On Symbolic Model Checking Of Propositional Projection Temporal Logic And Its Applications
2.
A Complete Axiomatization For Projection Temporal Logic And Formal Verifications
3.
Decidability, Complexity, Expressiveness And Model Checking Of Propositional Projection Temporal Logic
4.
Formal Description And Verification Of SoC Based On Projection Temporal Logic
5.
Description And Analysis Of WS Security Based On Temporal Logic
6.
Satisfiability And Expressiveness Of Propositional Projection Temporal Logic
7.
Decidability Of Propositional Projection Temporal Logic
8.
Model Checking Propositional Projection Temporal Logic With Infinite Model
9.
Model Checking Propositional Projection Temporal Logic Based On SPIN
10.
Testing And Verification Methods Based On UML2.0Models
11.
Research On Intrusion Detection Methods Based On The Temporal Logic Model Validation
12.
Research On Runtime Verification Based On PPTL
3
13.
Research On Spatio-Temporal Logic PPTL
SL
And Its Applications
14.
Model Checking Of Petri Nets Based On Projection Temporal Logic
15.
Study On The Method Of Aptl Model Checking And The Verification Of Multi-Agent Systems
16.
Research On Efficient Runtime Verification For MSVL Programs
17.
Verifying Full Regular Temporal Properties Of Programs Via Dynamic Program Execution
18.
Research And Improvement Of Runtime Verification Monitor Based On PPTL3
<<First
<Prev Next>
Last>>
Jump to
