Font Size:
a
A
A
Keyword [model-checking]
Result: 141 - 160 | Page: 8 of 10
141.
Analysis And Studying Of Authentication Protocols
142.
Verification Of UML Activity Chart Using SPIN
143.
Model Checking Propositional Projection Temporal Logic Based On SPIN
144.
Framed Temporal Logic Programming Interpreter And Model Checker
145.
The Design And Implement Of System Vulnerabilities Detecting Tool Based On Attack Pattern
146.
Research On Symbolic Model-Checking Algorithms
147.
Research On Key Technology In End-to-end Security M-commerce
148.
Research On Efficiency And Security Of E-Commerce Based On SET Protocol
149.
A BPEL Program Verification Method Research Based On Mealy Machine
150.
Composition Abstraction Spin Model Checking Based On Promela And Its Application
151.
Research Of Software Security Analysis Based On Model Checking
152.
Research On Model Checking Based Software Analysis
153.
Research On The Transformation From BPMN To WS-CDL
154.
Program Validation Tool Based On Slice
155.
The Design And Implementation Of An Automated Model Checking Oriented Model Extractor
156.
Research On Framework For Verifying AOP Programs Based On Runtime Verification
157.
Research On Consistency Of UML Models Based On Automata Theory
158.
Model Checking Research For LINUX Kernel Interprocess Communication
159.
Model Extraction And Model Checking Research For Java Concurrent Programs
160.
Semi-structured Data Query Based Model-Checking And Its Application
<<First
<Prev
Next>
Last>>
Jump to
