Font Size:
a
A
A
Keyword [Formal]
Result: 161 - 180 | Page: 9 of 10
161.
Model Oriented Composition Theory
162.
Research On Formal Methods Of Web Service Data And Service Composition Based On Process Algebra
163.
Research On Planning Theory And Algorithm For Cryptographic Protocol Attacks
164.
Formal Analysis And Design Of Fair Exchange Protocols
165.
Threshold Signature Scheme And The Design And Analysis Of Authentication Protocols
166.
Formal Modeling Of The Security Of The Linux Operating System And Secure Web System
167.
Object-oriented Software Testing
168.
Safety Protocol Formal Analysis Of Theories And Methods
169.
Formal Specification Language Lfc Is To Achieve And Applied Research
170.
To Meet The Problem Algorithm And Sequential Equivalence Checking
171.
Component Assembly Based On The Formal Semantics And Evolution Of The Study
172.
Semantic Model Of Uml Models
173.
Public Wireless Lan Security System And Its Experience In Security Formal Analysis
174.
Grid Service-oriented Software Architecture Modeling And Evolution
175.
Security Protocols And Ban Logic Analysis
176.
Development Model For Software Product Line Reverse Extraction, And Field Components
177.
Feature-Oriented Development And Formal Functional Verification Of SystemC Model Product Line
178.
A Complete Axiomatization For Projection Temporal Logic And Formal Verifications
179.
Research On Formal Modeling And Verification Methodology Of TCN System
180.
Research On Trust Management Model And Method In Electronic Commerce
<<First
<Prev
Next>
Last>>
Jump to
