Formal Verification - Globe Thesis

Keyword [Formal Verification] Result: 41 - 59 \| Page: 3 of 3
41.	Modeling Research Of UAV Road Condition Monitoring System Based On Probability Model Checking
42.	Research On Airborne Safety Critical Software Model Verication Technology
43.	Formal Modeling And Verification Of Interlocking Software Based On UML-Promela
44.	Research On Modeling And Formal Verification For Autonomous Driving Scenario
45.	Behavioral Fault Modeling And Formal Verification Method Of Aviation Control System Using BIP
46.	Research On Layered Refinement Development And Verification Method And Application Of Airborne Software
47.	Research On Cross-platform Trustworthy Hypervisor Module For Small Uav System
48.	Transformation And Formal Verification Of XX Software Requirement Model Based On NuSMV
49.	Comprehensive Verification Of LEU System Using Asserstion-based Formal And UVM
50.	Development Of Point State Monitoring Unit Based On Formal Method And Verification Of Logic Decision Process
51.	Bi-Objective Modeling And Simulation Of Train Operation Plan Feasibility And Transfer Comfort Based On Petri Net
52.	Research On Key Issues In Cybersecurity Of Intelligent Connected Vehicles
53.	Research On Key Issues In The Formal Design Of Embedded Memory Subsystems For Space Applications
54.	Research On Resource Management Method Based On Associated Train Identification
55.	Functional Verification And Formal Verification Optimization Of Processor Safety Features
56.	Research On The Application Of Harmony-SE In The Design And Analysis Of All-electric Braking System
57.	Research On Model Transformation And Consistency Verification Of Airborne Software Based On MDA
58.	Research And Implementation Of Security Verification Method For Communication Protocol Interaction Logic Of Internet Of Vehicles
59.	Research On Modeling,Simulation And Verification Of Autonomous Driving Scenarios
<<First <Prev Next> Last>> Jump to