Font Size:
a
A
A
Keyword [Z language]
Result: 1 - 20 | Page: 1 of 1
1.
Research On Techniques Of DDoS Attacks And Defense
2.
The Research And Realization Of Formal Description And Digital Image Processing Technology Based On The Online Score System
3.
Research And Implementation Of Message Mechanism In Distributed Enterprise Service Bus
4.
Research Of Software Slicing Technology In Specific Area Environment
5.
Research Of Application On Component-Based Formal Method On Software Development
6.
Research Of Application On Component-based Formal Method On Software Development
7.
Based On Z Formalization Of The Uml Use Case Diagrams
8.
Prototype Multi-level Attack Tree-based Intrusion Detection On Linux
9.
Z-language Real-time Extension And Application
10.
Multi-viewpoint Requirements Engineering, Formal Methods Research
11.
Based On The Cases Of The Statute Of The Z Language Test Cases Generation Method
12.
Process Calculus With Data Structure And Its Model Checking Algorithm
13.
Formal Analysis And Research Of Rudp Protocol
14.
Research On Formal Specification Of Automatic Verification Algorithm
15.
The Formal Research On Assertion Elements Of Event Ontology
16.
Research On Formal Verification Methods For Hybrid Systems Based On Combined Formal Specification
17.
The Modeling And Verification Of Cyber Physical System Based On AADL
18.
Research On Z-based Reliability Modeling And Evaluation Technology Of Embedded System
19.
Reserach On The Formal Modeling And Performance Evaluation Of Cyber Physical System Based On Modelica-AADL
20.
Design And Implementation Of Java Code Generator For Business Logic Based On Object-Z
<<First
<Prev Next>
Last>>
Jump to
