Formal verification - Globe Thesis

Keyword [Formal verification] Result: 21 - 40 \| Page: 2 of 3
21.	Implementation And Verification Of Time-triggered Communication Bus In Train Control Safety Computer
22.	Research Of Urban Rail Main Line Interlocking System Based On SCADE
23.	Modeling And Verification Of Movement Authority Of CBTC Based On SCADE
24.	Method And Implementation Of Trace Analysis For The Train Control System Based On Hadoop Platform
25.	Model-Based UAV Flight Control System Modeling And Safty Verification Methodology
26.	Formal Verification Of Memory Management Based On Unmanned Aerial Vehicle
27.	Formal Verification Research Of Driver Module Based On Small UAV Flight System
28.	Research On Formal Verification Of Airborne Software Safety
29.	Modeling And Verification Of Computer Based Interlocking System Based On SCADE
30.	The Radiation-hardened Circuit Design Of A Space-borne Remote Sensing Image Real-time Processing Chip
31.	Modeling And Verification Of ATP Based On SCADE
32.	Formal Modelling And Verification For Safety Analysis Of Automated Driving
33.	Design And Verification Of Safety Communication Protocol In STP System Based On Colored Petri Nets
34.	An Unmanned Aerial Vehicle Safety Control System Based On Embeded Realtime Operating System
35.	Formal Modeling And Verification Of Interlocking Software Based On UML-NuSMV
36.	Synchronization And Deterministic Modeling And Verification Of Nuclear Reactor Shutdown Logic Based On SCADE
37.	The Design And Verification Of High-speed Maglev Train Control System's Operation Scenarios
38.	Research On Modeling And Verification Of Train-centric Interlocking Control
39.	The Formal Verification For The Security Of Trackside System
40.	Airborne Software Modeling And Formal Verification Methodology
<<First <Prev Next> Last>> Jump to