Font Size:
a
A
A
Keyword [Formal Specification]
Result: 1 - 20 | Page: 1 of 4
1.
Study Of Design Patterns
2.
Object-oriented Formal Specification Based Test Generation
3.
Research On Specification-based Unified Software Modelling System
4.
Paraconsistent Temporal Logic And Its Model Checking
5.
Research On NGN Service Control Capability
6.
Research On IPv6 Protocol Conformance Test And Implementation Of The Test System
7.
Research On Key Technology Of Networkonvergence
8.
The Study Of Construction And Validation Of Object-oriented Formal Specification
9.
Formal Verification Technology For Object-Oriented Software
10.
Research On Open Temporal Logic Based Formal Verification And Modular Reasoning Of Aspect-Oriented Programs
11.
Formal Specification Language Lfc Is To Achieve And Applied Research
12.
Research On The Attributes Of Adaptive Software Architecture
13.
Static Analysis Of Pointer-related Path With Variable Relationship Graph And Symbolic Execution
14.
The Study Of Formal Specification Based On UML
15.
Study And Development On Neighbor Discovery Protocol Conformance Test System
16.
Reasearch On The Simulation And Verification Of Decidated Short Range Communication (DSRC)
17.
Research Of The Network Survivability Based On The RAPTOR Fault-Tolerant Model
18.
Research On Application Of Formal Method To Reverse Engineering
19.
Protocol Test Sequence Generation Based On Formal Specification
20.
The Application Of Automata Theory In The Verification PSL
<<First
<Prev
Next>
Last>>
Jump to
