Formal method - Globe Thesis

Keyword [Formal method] Result: 1 - 20 \| Page: 1 of 2
1.	Research On The Key Technologies Of Formal Design For Product Scheme
2.	Research Into Information Streamline And Z Specification For Virtual Manufacturing Environments
3.	Hierarchical Formal Modeling And Verification Train Control System
4.	The Study On Formal Modeling And Verification Of High-speed Railway Train Control System
5.	The Application Of B Method In The Reliability Design Of Substation Real-time Control System
6.	Analyzing And Modeling Of IPSec For Electric System Communications
7.	Modeling And Verification Of Interlocking Route Control Process With UPPAAL
8.	Application Research Of Distribution Automation System Based On B Method
9.	The Study Of Formal Verification Method About Rail Signal Interlocking Logic Relation
10.	Formal Methods Research Of Grid Control System Software Reliability Analysis
11.	Modeling And Analysis Of RBC Handover Based On Timed RAISE
12.	Research On Formal Modeling And Verification Of Interlocking System In Communication Based Train Control System
13.	The Research On The Formal Methods Of The Station Interlock Control Logic Based On Event-B And MAS
14.	Formal Modeling And Verification Method For CTCS-3 System Using TMSVL
15.	Modeling And Verification Of Level Transition Scene In Train Control System Based On Domain And Timed RAISE
16.	Application Of EVENT-B Method In Formal Modeling And Verification Of Railway Station Interlocking Specification
17.	Study On Net Assessment And Trustworthiness Accreditation Of Teleoperation System For Aerospace Transportation
18.	Schedulability Analysis Of AUTOSAR OS Schedule Table Based On Formal Model
19.	Modeling Analysis And Implementation Of RBC Handover Based On Timed Automata
20.	Research On System Requirements Modeling And Safety Analysis Based On Formal Method
<<First <Prev Next> Last>> Jump to