Font Size:
a
A
A
Keyword [verification model]
Result: 1 - 20 | Page: 1 of 4
1.
Research On Formal Verification Of Web Services Composition And Method Of Visualization
2.
Research On Cyber/Physical Co-Verification For CPS
3.
Research On The IC Engineering And Technology Of IP Quality Assessment And Measurement
4.
Research On Functional-Information-based Verification Engineering And Verification Techniques
5.
Explaining Counterexample Of Model Checking
6.
Compositional Verification Based On Interface Automata
7.
Formal Verification Of Hybrid Systems
8.
Verification And Testing Technology For Web Applications
9.
Research On Key Technologies Of Automatic Web Services Composition
10.
Research On Control Flow Error Checking Algorithm Based On Assembly Language
11.
Modeling And Analyzing Metamodel Of Network Software Requirement Based On Web Service
12.
Research On Formal Methods For Digital Circuit Verification Based On Polynomial Symbolic Algebra
13.
Formal Analysis And Construction For Internetware-based Software System
14.
Design And Implementation Of SoC Functional Verification Automation System
15.
The Design And Implementation Of Transaction-based Verification In PMON Project
16.
An Extended Symbolic Model For Concurrent Value-passing Processes
17.
Formal Verification Of Hybrid Systems And Its Application
18.
The Application Of Automata Theory In The Verification PSL
19.
Research On Verification Technology Of UML Models Based On Model Checking With SPIN
20.
Research And Application On The Software Development Method Based On MDA
<<First
<Prev
Next>
Last>>
Jump to
