Formal Modeling - Globe Thesis

Keyword [Formal Modeling] Result: 21 - 40 \| Page: 2 of 3
21.	Formal Modeling And Verification Method For CTCS-3 System Using TMSVL
22.	Formal Modeling And Analysis Of RBC System Based On UML And TA
23.	Formal Modeling And Analysis Of AUTOSAR Memory Protection Mechanism
24.	Formal Modeling Of UPPAAL Based ETCS-1/ETCS-NTC Level Transition
25.	Study On Functional Safety Assessment And Formal Modeling Of FLEDS
26.	Research Of Communication Based Train Control System Software Automatic Testing
27.	Application Of EVENT-B Method In Formal Modeling And Verification Of Railway Station Interlocking Specification
28.	Formal Modeling And Verification Analysis Of Medium Speed Maglev Vehicle Control System
29.	Formal Modeling And Analysis Of Regional Data Center For CTCS-1 Train Control System Based On TCPN
30.	Formal Modeling And Verification Of Level Transition Scene In CTCS-3 Train Control System
31.	Formal Modeling And Verification Of Interlocking Software Based On UML-NuSMV
32.	Modeling Research Of UAV Road Condition Monitoring System Based On Probability Model Checking
33.	Formal Modeling And Verification Analysis Of High Speed Maglev Zoning Handover
34.	Formal Modeling And Verification Of Interlocking Software Based On UML-Promela
35.	Research On Resource Management Method In Train-to-Train Communication Based Train Control System
36.	Reseach On Formal Modeling And Testing For Embedded Software
37.	Research On Formal Modeling And Verification Methods Of Partition Software Of Train Control Safety Computers
38.	Research On Safety Assessment Method Based Autonomous Driving Scena And Formal Inspection Technology
39.	Research On Formal Modeling And Refinement For Avionics Software Requirements
40.	Formal Modeling And Verification Of Section Occupancy Logic Check Based On Model Checking
<<First <Prev Next> Last>> Jump to