Font Size:
a
A
A
Keyword [Specification model]
Result: 1 - 12 | Page: 1 of 1
1.
Research On BPEL Process Design Tools And Web Services Matching Techniques
2.
Research On Bpel Process Design Tools And Web Services Matching Techniques
3.
Class Television Transmission Of Traditional Chinese Medicine Research
4.
Static Defect Inspection Of Java Source Code Based On Model Checking
5.
Research On Conformance Argument Method Of Safety Standard Of Rail Traffic Signaling System Based On UML
6.
The Functional Verification Of GMAC Bridge Circuits And Automatic Stimulus Generation
7.
Specification theory, patterns, and models in information systems domains: An exploratory investigation
8.
Tool support for model compliance verification: A QVT-based approach
9.
Compliance verification of a design model with respect to its specification model in the context of software defined radios: A model transformation approach
10.
System-level automatic model refinement
11.
A hierarchical structure of interacting automata for modeling battlefield dynamics: Controllability and formal specification
12.
A model of specification-based test oracles
<<First
<Prev Next>
Last>>
Jump to
