Font Size:
a
A
A
Keyword [Formalized]
Result: 1 - 20 | Page: 1 of 2
1.
Research And Application Of Performance Analysis, System Design And Network Interconnection In Control Network System
2.
Workflow Execution Net Based On Formalized Pattern Analysis
3.
The Research And Application Of Formalized Methods Of Multi-party Security Protocols Analysis
4.
Data Type Recovery Problem Of Decompilation
5.
Research Of Authentication Protocols And Their Formalized Analysis
6.
Formalized Model And Analysis For The Life Cycle Of The Lambda Phage
7.
The Formalized Modeling And Model Analyzing Of The Interlocking Software Based On Interval Timed Colored Petri Nets
8.
Research On Secure Directed Diffusion Routing Protocol For Wireless Sensor Networks
9.
Model Checking Of WLAN IEEE 802.11 Authentication Protocol
10.
The Function Differential, Partial Differentiation, Grads, Divergence, And Curl In Mizar
11.
The Formalized Procedural Semantic Of Logic Programming Language G(?)del
12.
Analyzing And Verifying Network Protocols By Model Checking
13.
A Pi-Calculus For Web Service Composition
14.
Research And Implementation Of The Framework And Components Of The Field Of Electronic Declaration
15.
Formal Technique Of Concurrent Systems
16.
Colored Petri Net-based Workflow Modeling And Implementation
17.
The Formal Analysis Of Cryptographic Protocols
18.
Research On Formalized Modeling And Simulation For Workflow Systems
19.
A Formalized Model Of Digital Data For Trusted Forensics
20.
Research And Implementation Of Code Obfuscation Technology And Support System For White-Box Security
<<First
<Prev
Next>
Last>>
Jump to
