Font Size:
a
A
A
Keyword [Verifying]
Result: 101 - 111 | Page: 6 of 6
101.
An integrated approach for specifying, modeling and verifying dynamic systems
102.
VERIFICATION OF CONCURRENCY CONTROL ALGORITHMS FOR DISTRIBUTED DATABASE SYSTEMS
103.
Specifying, Verifying, and Translating Between Memory Consistency Models
104.
Specifying and verifying program transformations with PTRANS
105.
Verifying Atomicity-violation Fixes For Concurrent Programs
106.
A Method Based On MSVL For Modeling And Verifying The Smart Contract
107.
A Method Based On MSVL For Modeling And Verifying The Automated Planning
108.
Specifying And Verifying Weak Consistency Protocols Using TLA+
109.
Research On Digital Signature Scheme Based On Block Chain
110.
Modeling And Verifying Of Cyber-Physical System General Component Semantic Model
111.
Towards Task-based Approach For Modeling And Verifying Uncertain Behavior Of Real-time Systems
<<First
<Prev
Next>
Last>>
Jump to
