Model checking - Globe Thesis

Keyword [Model checking] Result: 21 - 40 \| Page: 2 of 4
21.	Research On Verification Methodology About System Safety Design Based On AltaRica Model
22.	Formal Modeling And Analysis Of AUTOSAR Memory Protection Mechanism
23.	Research On The Constant-stress Accelerated Degradation Modeling And Validation Of Electrical Connector
24.	Research On Routing Protocol Of Vehicle Wireless Self-organizing Network Based On Probability Model Checking
25.	Research On AADL-based Reliability Modeling And Evaluation Technology Of Embedded Software
26.	Research On Automatic Generation Of Fault Tree For Integrated Avionics System Based On Model Checking
27.	Validation Verification Of The Rules For Unmanned Vehicles’ Decision System
28.	Research On Cables Optimization And Standard Verification Technology
29.	Modeling,Verification And Application Of Compilation Rules Of Balise Telegram
30.	Research On Safety Analysis Method For RBC Handover Based On NuSMV And STPA
31.	Eatablishment And Application For Hydraulic Model Of Water Supply Network In M City
32.	A Study On The Theory And Methods Of UAVs Decision Making Under Uncertainty Based On The Probabilistic Model Checking
33.	Modeling And Analysis Method Of Railway Signal System Safety Critical Software
34.	Model Based Safety Testing Method For High-speed Train Control System
35.	Research On Hazard Analysis Method For Autonomous Ships
36.	Failure Risk Analysis Of Train Integrity Detecting Based On GNSS
37.	Mutation TAIO-Based Test And Evaluation Of Safety Function For New Train Control System
38.	Cooperative Mission Decomposition And Scheduling Of Man-Unmanned System Under LTL Specification
39.	Research On Establishment And Application Of Water Supply Network Hydraulic Model Based On Leakage Control
40.	Wind Field Numerical Simulation And Bridge Wind-induced Response Analysis Of Mountain Bridge Site
<<First <Prev Next> Last>> Jump to