Font Size:
a
A
A
Keyword [Z notation]
Result: 1 - 8 | Page: 1 of 1
1.
Research On Some Key Technology Of Software Testing Reuse Based On Formal Method
2.
Research On Test Case Reuse In Software Testing
3.
Research And Implementation Of The First Order Predicate Logic Operator Automatic Refinement In Z Specification
4.
Research And Implementation Of The Power Set Operator Automatic Refinement In Z Specification
5.
The Design And Implementation Of Security Requirement Tool Based On Attack Patterns
6.
Based On The Cases Of The Statute Of The Z Language Test Cases Generation Method
7.
Research Into Localized Software Engineering And Practice With Z Notation
8.
Research On Dependability Modeling And Verification Technology For Real-Time Embeded Software And Its Applications
<<First
<Prev Next>
Last>>
Jump to
