Font Size:
a
A
A
Keyword [reachability]
Result: 1 - 20 | Page: 1 of 10
1.
Research On Key Techniques Of Multithreaded Program Verification For Atomicity Of Correlated Variables
2.
On Key Techniques Of Protecting Privacy In Social Networks
3.
Research On Optimization Techniques For Bounded Model Checking Of Hybrid Systems
4.
Research On Query And Analysis In Heterogeneous Information Networks
5.
Study On Key Techniques Of Entity-Relation Correlation Analysis Based On Graph
6.
Study Of Real-time Value-passing And Real-time Mobile Systems
7.
Supervisory Control For Discrete Event Systems Based On Cascade Petri Net
8.
The Study Of Peer-to-Peer Network And Its Protocol Verification Based On Gnutella Protocol
9.
Controllability, Observability And Feedback Control Of 2-D Singular Systems
10.
Formal Verification Of Hybrid Systems
11.
Research On Testing Theories And Technologies Of Concurrent Programs
12.
Multicast Algorithms On Hypercube Interconnection
13.
Some Symbolic Computation Issues In Program Verification And System Analysis
14.
Research On Key Technologies For Concurrent Programs Testing
15.
Research On Synthetic Methods Of Control System With Limited Communication
16.
The Method Design And Application Research Of Object Persistence Based On CORBA Environment And OODB Background
17.
The Investigation And Implementation Of A Reachability Testing Framework For Java Multithread
18.
Improved Reachability Tree And Reachability Decision Of Petri Nets
19.
The Design And Implementation Of Petri Net Software Tool: PTAnalyser
20.
Research On Concurrent System Modeling And Model Checking Based On Process Algebra
<<First
<Prev
Next>
Last>>
Jump to
