Font Size:
a
A
A
Keyword [process algebra]
Result: 1 - 20 | Page: 1 of 4
1.
Modeling, Verification And Testing With The Extended π-calculus
2.
Study Of Real-time Value-passing And Real-time Mobile Systems
3.
Model Checking Methods For Value-Passing And Mobile Processes
4.
Research On Process Network Based Cooperative Computation Model Of Services
5.
Research On Key Technology Of Networkonvergence
6.
Research On Formal Methods For Safe Software Architecture
7.
Action Refinement Theory With Quantitative Constraints
8.
Study Of Formal Model Of Web Services Composition
9.
Research On The Key Issues Of Customized Business Process
10.
The Research On Virtual Machine Based-on Xen
11.
Research On Formal Methods Of Web Service Data And Service Composition Based On Process Algebra
12.
Research On Theory And Application Of Access Control Based On Resources
13.
Research On Modeling And Verification Of QoS-Oriented Web Services Composition
14.
Research On Transforming Requirements Specification To Software Architecture Models Of Embedded Software
15.
An Extended Symbolic Model For Concurrent Value-passing Processes
16.
Metric Denotational Semantics For Probabilistic Process Algebra
17.
Research On Concurrent System Modeling And Model Checking Based On Process Algebra
18.
Research On λ-bisimulation
19.
Key Techniques Research And Implementation Of Secure Communication Protocol Based On Trusted Platform
20.
STE Verification Method For Concurrent Behaviors In Digital Circuit
<<First
<Prev
Next>
Last>>
Jump to
