Font Size:
a
A
A
Keyword [B method]
Result: 21 - 37 | Page: 2 of 2
21.
Formal Technique Of Concurrent Systems
22.
Based On Formal Methods Of Software Component Interface Specification
23.
Research And Implementation Of The Goal-oriented MDA Model Transformation
24.
The Formalization Of UML Modeling And Its Application
25.
The Research On Software Modeling Methods Based On B Method
26.
Based On The Research Of B Method Modeling And Conversion Tools And Implementation
27.
Based On The Research Of B Method Aadl Model Generated
28.
Based On The Model Of The Dab Transmitter Key Module Design And The Fpga Implementation
29.
Design Of RFID Middleware System Based On B Method
30.
The Research Of Formal Transformation And Verification Of UML
31.
Research On The Method Of Formal Development Of The ATP System
32.
Research On Formal Method For The Online Exam Software Requirement Based On B Method
33.
Research On Formal Verification Method For The Online Exam Software Requirement Specification Based On B Method
34.
Research On Formal Method For The Online Exam Software Requirement Specification Based On B Method
35.
Research On Graphical Modeling Approaches Based On Event-B Graph
36.
Refinement And Implementation Of The Immune System Using Formal B Method
37.
Formal Modeling And Verification Of Point Control Subsystem Based On B Method
<<First
<Prev
Next>
Last>>
Jump to
