Font Size:
a
A
A
Keyword [coloured Petri Nets]
Result: 1 - 18 | Page: 1 of 1
1.
On Some Key Problems Of Mobile Payment System Security
2.
Research On Modeling,conflicts And Contacts Of Web Composition Services Based Quality Coloured Petri Nets
3.
Research On Formal Modeling Of Message Passing Based On Coloured Petri Nets
4.
The Research And Application Of Unifying Petri Nets Based On Parameterized Net Classes
5.
Design And Implementation Of Workflow Enactment Service Based On Coloured Petri Nets
6.
Research Of Dependability Evaluation Of Cluster System
7.
Research On Modeling Method Of Workflow Based On Object-Oriented Coloured Petri Nets
8.
Research On Modeling And Analysis Of Coloured Petri Net-based Workflow
9.
Workflow Modeling Research And Analysis Based On Colored Petri Net
10.
HMIPv6 Protocol Formal Modeling And Research On Test Case Generation Method
11.
Research On The LDP Protocol Verification Based On Coloured Petri Nets
12.
HMIPv6 Formal Verification Research Based On Color Petri Nets
13.
Ipv6 Environment Ikev2 Formal Analysis And Application Of Research
14.
Research On The Survivability Of Network Information System Based On Automotic Computing
15.
The Formal Modeling And Optimization For Data Partitioning And Replica Consistency In Distributed Storage Systems
16.
Analysis And Verification Of UML Diagrams Based On Formal Method
17.
Automated security analysis of Internet protocols using coloured Petri nets
18.
Cryptographic protocol specification and analysis using coloured Petri nets and Java
<<First
<Prev Next>
Last>>
Jump to
