Font Size:
a
A
A
Keyword [correctness]
Result: 1 - 20 | Page: 1 of 7
1.
Research On Some Problems About Proving The Correctness Of Programming
2.
Research On Model For Web Service Composition Based On Extended Colored Petri Net
3.
Proving And Testing The Functional Correctness Of Distributed Systems
4.
Research On Improving Performance And Correctness Of Cluster File System
5.
Research On The Foundamentals Of Compilation Correctness And Safety
6.
Research On Key Technologies Of Automatic Web Services Composition
7.
Research On The Validation Methods Of The C~4ISR System Requirements Based On Model Checking And Simulation
8.
The Approximate Correctness Of Software And The Measure Model Of Interaction Between Software And Environment
9.
Study On Program Verification Based On Symbolic Computation
10.
Software Reliability Model Based On Fractal And Mathematic Mechanization Of Program Correctness Proof
11.
Key Technologies Of Workflow Systems To Support Group Work
12.
Feature-Oriented Development And Formal Functional Verification Of SystemC Model Product Line
13.
Research On Key Technologies For Cross Enterprises Cooperation Based On Services Composition
14.
On Parallel System Performance Analysis Based On TCPN
15.
Certifying Assembly Programs Using A Control-flow-explicit Language
16.
On The Deviation Of The Guidance Of The Media's Public Opinion In The Postnet Era
17.
The Mistakes And Correctness Of Womens' Report In Chinese Mass Media
18.
The Research On Program Auto-checking Based On XML
19.
The Research Of Software Stability And Correctness Base On Runtime Risk Statistics
20.
Research For Formalizing Workflow Model
<<First
<Prev
Next>
Last>>
Jump to
