Font Size:
a
A
A
Keyword [Z specification]
Result: 1 - 10 | Page: 1 of 1
1.
Research And Implementation Of The First Order Predicate Logic Operator Automatic Refinement In Z Specification
2.
Set Theory Operator Automatic Refinement Research And Implementation In Z Specification
3.
Cartesian Operator Automatic Refinement Research And Implementation In Z Specification
4.
Research And Implementation Of The Power Set Operator Automatic Refinement In Z Specification
5.
Research And Realization Of Automatism Refinement Of List And Bag In The Z Specification
6.
Relation And Function Mapping From Z Specification To C++STL
7.
C++STL-based Technology To Achieve Refinement And Transformation Of Z Formal Specification
8.
Formalizing Software Weaknesses Based On Z Specification
9.
The Design And Implementation Of Software Testing Tool Based On Z Specification
10.
Z-language Real-time Extension And Application
<<First
<Prev Next>
Last>>
Jump to