Font Size:
a
A
A
Keyword [correctness verification]
Result: 1 - 16 | Page: 1 of 1
1.
Research On Key Technologies Of Automatic Web Services Composition
2.
Research On Key Technologies For Cross Enterprises Cooperation Based On Services Composition
3.
On Parallel System Performance Analysis Based On TCPN
4.
The Model And Correctness Verification Of Parallal Programs In Embedded Multi-core Environment
5.
Graphical Workflow Modeling And Correctness Verification Methods
6.
Research On Durable Data Storage Mechanism In Cloud Storage System
7.
Data-aware Workflow Modeling And Verification
8.
The Modeling And Design Of Circuit Correctness Verification System
9.
Research And Implementation On Behavior-based Web Service Selection Platform
10.
Research And Application Of UML Models Consistency Verification Based On SPIN
11.
Database System Performance Evaluation And Quality Management
12.
Implementation Of BOSS Billing Verification Method Based On Model Checking
13.
Automatic techniques for proving correctness of heap-manipulating programs
14.
Correctness of distributed systems with middleware
15.
A Novel Two-Layer Concurrent Distributed Algorithm Based On Shared Memory For Formal Verification
16.
Correctness Verification Of EBRE Model Based On Event-B
<<First
<Prev Next>
Last>>
Jump to
