Font Size:
a
A
A
Keyword [Coloured Petri Net]
Result: 1 - 15 | Page: 1 of 1
1.
On Parallel System Performance Analysis Based On TCPN
2.
Vertification Of OSPF Protocol Based On Coloured Petri Net
3.
Study On The Access Control In Workflow Management System
4.
Distributed Collaborative Workflows Research
5.
Management And Coordination Based Petri Net Integrated Monitoring System
6.
Research On Modeling And Analysis Of Coloured Petri Net-based Workflow
7.
Research On Nondeteminism And Impact Of Options In Interoperability Testing Of OSPFv3 Protocol
8.
Research And Implementation On OSPEv3 Protocol Interoperability Testing Based On Property
9.
Formal Verification And Analysis Of SIP Protocol Using Timed Coloured Petri Net
10.
Research On Knowledge Flow Modelling And Its Application Based On Coloured Petri Net
11.
Research On Model Of Hybrid Workflow For Military Information Services
12.
Study Of A Kind Of On-The-Fly Testing Method And Design And Implementation Of Its Adapter
13.
Research On Coarse Grained Automatic Modeling Method Of Java Multithreaded Programs Oriented To Model Checking
14.
Automated security analysis of cryptographic protocols using coloured Petri net specifications
15.
Research On Formal Modelling And Verification Methods Of Cloud Computing System
<<First
<Prev Next>
Last>>
Jump to
