Font Size:
a
A
A
Keyword [B-Method]
Result: 1 - 20 | Page: 1 of 2
1.
Asymptotic Solutions Of Modes And Its Application In Wave Propagation Computation
2.
A Research On Design And Formal Construction Of Trusted Routing Protocols In Mobile Ad-hoc Networks
3.
Analysis And Description Of The Semantics Of XML Based On B-Method
4.
Research On Refinement Of Architecture Description Language Based On B Method
5.
Formal Method Integrating B Method And Time Petri Nets
6.
Application Research On B Method And Component Technology In Formal Development Of Information System
7.
A Study Of Software Formal Requirements Based On Event-B
8.
The Research On Translating UML Diagram To B-Method Formal Specification And Its Application
9.
Study On Translating UML To B Systematically Based On Unified Process
10.
Research And Application On Verification Technology Of Formal B Method
11.
The Research And Application Of B Language And Method In Algorithm Formalization
12.
The Implementation And Application Of B-Method In Abstract Machine Library
13.
Study On Software Modeling Technique Based On Model Driven Architecture
14.
Design Of Embedded Real-Time Operating System Based On B Method
15.
Research On Requirement Acquirement About Complex System Formal B Method
16.
Formal Study Of Neuroendocrine Complex System
17.
Study On MDA Software Modeling Technology Based On Meta Model
18.
The Research On B Formal Specification Of UML Use Case Model
19.
Research Of B Formal Specification Based On UML Class Diagram
20.
Formal Method B And Factor In The Network Modeling Application
<<First
<Prev
Next>
Last>>
Jump to