Font Size:
a
A
A
Keyword [refinement model]
Result: 1 - 9 | Page: 1 of 1
1.
Formal Analysis And Construction For Internetware-based Software System
2.
Semantic Model Of Uml Models
3.
Research On Visualization Method And Theory Of Requirements Model
4.
Research On Consistency Checking Between Model Refinements
5.
Research On Counterexample Guided Abstraction Refinement Optimization Technology
6.
Research On Model Compression And Acceleration Method Based On Convolutional Neural Network
7.
Research On Improved Object Detection Method Based On Convolutional Neural Network
8.
Satisfiability-based abstraction refinement in symbolic model checking
9.
Verification and validation of the Spalart-Allmaras turbulence model for strand grids
<<First
<Prev Next>
Last>>
Jump to
