safety verification - Globe Thesis

Keyword [safety verification] Result: 1 - 20 \| Page: 1 of 2
1.	System Simultaneous Stabilization And Safety Verification Via Symbolic Computation
2.	Certifying Compilation In An Infrastructure For Developing Trustable Software
3.	A Pointer Logic For Safety Verification Of Pointer Programs
4.	Reliability And Safety Verification Of System Program Based On Model Checking
5.	Inductive Invariant Based Safety Verification Of Hybrid Systems
6.	Research On Safety Verification Techniques For Logic Control
7.	The Software Safety Verification Methodology Based On Fault-extended Statecharts
8.	An Approach Of Program Proof For Safety-Critical Software
9.	FTA Based Avionics Software Safety Verification Methodology
10.	Safety Verification Of Hybrid Systems Based On Formal Method
11.	Study Of Data Access And Storage Interface In The Cloud Storage System
12.	The Research Of Key Technologies On The Embedded Safety Verification System Of Online Payment
13.	Research On Model Driven Safety Verification For Embedded System Designs
14.	Research On Safety Verification Of Cyber-Physical Systems
15.	Research On Safety Verification For Embedded And Real-time Systems Based-on SysML Activity Diagram
16.	Research On Real-time Systems Safety Verification Based On Temporal Fault Tree
17.	Construction Of Mobile Service Robot And Safety Verification Of Autonomous Navigation System
18.	Secure Control And Network Simulation Of Cyber-physical Systems
19.	Research On Safety Requirement Traceability And Verification Based On SysML
20.	A theory of run-time verification for safety critical reactive systems
<<First <Prev Next> Last>> Jump to