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
125
I 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