Font Size:
a
A
A
Keyword [Formal Method]
Result: 81 - 100 | Page: 5 of 10
81.
Formal Description And Application Of Dynamic Software Architecture
82.
Research Of B Formal Specification Based On UML Class Diagram
83.
Formal Specification And Verification Of Automatic DMARF System
84.
Formal Modeling And Verification For The Rail Transit Control System Designed By SCADE Base On PVS
85.
Reliability And Safety Verification Of System Program Based On Model Checking
86.
Modeling And Verifying Multithreaded Discrete Event Simulation Lanaguage In PVS
87.
Research On Bi-Transformation Between UML Models And Formal Models
88.
Formal The Sequence Diagram Of UML2.0
89.
Aspect-Oriented Formal Method Of Real-Time System In Cyber Physical Systems
90.
Formalizing Software Weaknesses Based On Z Specification
91.
Component-based Formal Development For Reuse
92.
The Formal Method-Based Unified Software Model And Its Applications
93.
Research Of Application On Component-Based Formal Method On Software Development
94.
The Research Of Software Formal Verification Technology Based On Hoare Logic
95.
Service Description And Dynamic Substitution Using Formal Method
96.
The Conformance And Performance Test Of Real-time Transport Protocol Based On Formal Methods
97.
Formal Analysis And Verification Of A Transaction Coordination Protocol Named WS-TX For Web Services
98.
Research Of Application On Component-based Formal Method On Software Development
99.
The Formal Method-based Unified Software Model And Its Applications
100.
Formal Analysis And Verification Of A Transaction Coordination Protocol Named Ws-tx For Web Services
<<First
<Prev
Next>
Last>>
Jump to
