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