Font Size:
a
A
A
Keyword [model-checking]
Result: 61 - 80 | Page: 4 of 10
61.
Lattice-valued Quantitative Verification Of State Transition Systems
62.
Research On Model Driven Development Of Business Process Software
63.
Extending A Model-Checking Tool With Non-trivial Data Structures
64.
Implementing A Graphical User Interface For An Automated Proof Tool For Message-Passing Concurrent System
65.
On Technology Of Model Checking Security Protocols
66.
Research On Formal Analysis Of Security Protocol Of Computer Communication Network
67.
A Heuristic Algorithm For Model-Checking Based On Counter Example Finding
68.
Formal Methods For Security Protocol Analysis And It's Application
69.
Study On The Application Of Formal Verification
70.
Research And Application On Model Checking Of Security Protocol Of Network
71.
Some Results On Games For Bisimulation And Modal μ-calculus
72.
An Extended Symbolic Model For Concurrent Value-passing Processes
73.
The Research And Implementation Of Algorithms For Model-Checking Tool FPTAT For Real-Time Systems
74.
Research On Checking Security Protocols Technology Based On CPN Models
75.
Planning Based On Model Checking
76.
Research On Formal Analysis Of Electronic Commerce Security Protocol
77.
The Analysis Of Cryptographic Protocols Based On Petri Nets
78.
Study And Implementation On Atomicity Of E-commerce Protocol Base On Symbolic Model Checking
79.
Model Checking Of LSC Specifications
80.
Planning Based On OBDD & Model Checking Method
<<First
<Prev
Next>
Last>>
Jump to
