Font Size:
a
A
A
Keyword [Soundness]
Result: 1 - 20 | Page: 1 of 2
1.
A Study On Workflow Condensed Modeling For Enterprise Application
2.
Secure Information Flow Based On Syntax Analysis
3.
The Modelling And Analysis Of Workflow Based On Petri Net
4.
Study Of Modeling And Analysis Of Workflow Using Petri Nets
5.
Workflow Model Soundness Analysis&Application
6.
Modeling And Verification Of Workflow In Virtual Enterprises
7.
The Method Research Of Modeling And Analysis-Evaluation For The Petri Nets-Based Workflow Model
8.
Research And Application On The Expended Petri Net Based Workflow Model
9.
Research For Formalizing Workflow Model
10.
Formal Analysis Of Security Protocols Based On Universally Composable Framework
11.
Verification Of Workflow Model Based On Petri Nets
12.
Workflow Process Model Structure Verification Based On Petri Net Reduction Techniques
13.
Research And Application Of Modeling Based On UML And Petri Net
14.
Research On Computational Soundness Of Symbolic Approach For Cryptographic Protocols
15.
The Substitution Properties Of Petri Nets Based On Workflow
16.
Research On Modeling Method Of Business Process Based On Object-Oriented Colored Petri Nrt
17.
Using Pi-calculus To Formalize Grid Workflow And Verify Process Soundness
18.
Real-time Systems-oriented Real-time Regional Temporal Logic: Rrtl
19.
Based On Petri Net Workflow Model
20.
Research Of Correctness Of Web Service Composition Under Environment Constraint Based On Open Petri Net
<<First
<Prev
Next>
Last>>
Jump to
