Font Size:
a
A
A
Keyword [Event-B]
Result: 1 - 6 | Page: 1 of 1
1.
Formal Description And Verification Of Railway Interlocking Safety Specification
2.
The Train’s Safety Distance Control Formal Modeling And Verification
3.
Refinement And Verification Of Trackside Systems
4.
Automated Verification Of The Completeness Of CTCS-3 Test Cases
5.
The Research On The Formal Methods Of The Station Interlock Control Logic Based On Event-B And MAS
6.
Application Of EVENT-B Method In Formal Modeling And Verification Of Railway Station Interlocking Specification
<<First
<Prev Next>
Last>>
Jump to
