Font Size:
a
A
A
Keyword [Formalization]
Result: 21 - 40 | Page: 2 of 8
21.
The Modeling Of UML Diagrams Based On The Petri Net
22.
Java-oriented Design Patterns Detection Research And Tool Development
23.
Study And Implementation On Atomicity Of E-commerce Protocol Base On Symbolic Model Checking
24.
Research On Formal Modeling Of Message Passing Based On Coloured Petri Nets
25.
Software Architecture Refinement And Its Application Based On UML And Z
26.
Research On Knowledge Representation Support System For Vehicle Routing Problems
27.
Research On The Formalization Of SoftWare Architecture Model
28.
The Formalization Of UML Modeling
29.
Research Of Use Case Modeling Based On Petri Net
30.
Research On Formalization Of CORBA Distribted Systems Security Based On Object Oriented Petri Nets
31.
The Research Of Security Technology On The Lightweight TCP/IP Protocol
32.
Research And Implematation On Routing Protocol Conformance Test Platform
33.
The Applied Research Of PAR Method On Combinatorics Problems
34.
Research Of Formalization Description Methods Of Interlock Software In Railway Signal System
35.
Research Of Authentication Protocols And Their Formalized Analysis
36.
Modeling Method Study And Application Of Embedded System Design
37.
The Research Of UML-Based Modeling Of Real-time System And Time Constraints Of Sequence Diagrams
38.
Formal UML-Based Relational Database
39.
Research And Applications Of Math Drawing Platform Based On SVG
40.
Automatic Verifying Security Protocols Basing Term Guessing And Hash Forging
<<First
<Prev
Next>
Last>>
Jump to
