Font Size:
a
A
A
Keyword [model-checking]
Result: 181 - 200 | Page: 10 of 10
181.
Research On Verification Of Web Service Composition Based On XYZ/ADL
182.
Towards The Verification Of Services Collaboration Based On Model Checking
183.
Model Checking Applied To Verification Of OS Kernel
184.
Application Of Linear Temporal Logic On Audit Of Unemployment Insurance
185.
Study On Exact Acceleration Of Real-Time Model Checking
186.
Research On A Method Of Test Cases Generation Based On Timed Automata
187.
Research On Automatic Generation Method Of Test Case For Aviation Software
188.
Research On Analysis Methods Of Network Security Based On Attack Graph
189.
Research And Implement On Modeling Tool Of Cooperative Trade Flow Based On WS-CDL
190.
An Automatic Model Checking Approach To Composite Web Services
191.
Analysis And Verification Of Security Protocols Based On Visual Methods And Formal Methods
192.
Dynamic Software Updating In Pervasve Computing
193.
Schedulability Analysis Of Multi-Processor Real-Time Systems Using Uppaal
194.
Design And Formal Verification Of Trusted Channel Protocols
195.
The Research And Application Of NuSMV Model Verifier
196.
Reliability And Safety Verification Of System Program Based On Model Checking
197.
HMIPv6 Formal Verification Research Based On Color Petri Nets
198.
Research On Interface Automata Based Embedded Software Verification Techniques And Supporting Tools
199.
Research On Model Checking Method-Based Trustworthy Software Verification Technology
200.
Simulation And Analysis Of Schedule Strategy Of Reconfigrable HW System
<<First
<Prev
Next>
Last>>
Jump to
