Font Size: a A A
Keyword [Event-B]
Result: 1 - 17 | Page: 1 of 1
1. A Study Of Software Formal Requirements Based On Event-B
2. The Research Of Formal Modeling Technology Of Software Requirements Based On The Event-B
3. Formalizing Hybrid Systems Using Event-B:Theory And Practice
4. Research On PLC Program Design And Formal Mathod Of 125I Automated Production Line
5. The Control Program Design And Formal Mathod Validation Of 125I Automatic Production Line
6. Analysis And Verification Of The SSL Handshake Protocol Model Based On Event-B
7. The Mobile Cloud Transfer Service Strategy Research Based On Event-B
8. Research On Graphical Modeling Approaches Based On Event-B Graph
9. Building A Cloud-based Application Software Model Using UML And Event-B
10. Hybrid Event-B:Modeling And Refinement Of Cyber-Physical Systems
11. Formal Modeling And Verification Of Ad Hoc Routing Protocols And Task-level Timing Constraints With Event-B
12. Design And Development Of Immune System Based On Event-B
13. Liveness Property Preserving Modeling Method For Safety-critical Systems
14. Research On Immune System Model Based On Event-B Formal Method
15. Formal Modeling And Verification Approach For Safety Of Programmable Logic Controller
16. Refinement And Implementation Of The Immune System Using Formal B Method
17. Correctness Verification Of EBRE Model Based On Event-B
  <<First  <Prev  Next>  Last>>  Jump to