Safety-critical - Globe Thesis

Keyword [Safety-critical] Result: 41 - 60 \| Page: 3 of 5
41.	Development Techniques And Tools For Safety-Critical Embedded Software Based On ISO26262
42.	The Research Of Time Trigger Ethernet Based On Network Calculus
43.	The Design And Simulation Study Of A Safetv-critical Communication Protocol Applied In CBTC
44.	Agile And CMMI Safety-critical Software Process Management Application Research
45.	Design And Implementation Of Fault-tolerance For NOP Protocol
46.	Efficient And Confident Protocols In Safety Critical Wireless Sensor Networks
47.	The Software Safety Verification Methodology Based On Fault-extended Statecharts
48.	An Approach Of Program Proof For Safety-Critical Software
49.	FTA Based Avionics Software Safety Verification Methodology
50.	The Formal Analysis For The Safety Of Safety-Critical Software
51.	Research On Probabilistic Verification Of SysML Activity Diagram For Safety-critical Embedded System
52.	Research On Quantitative Risk Analysis Of The Safety-critical Systems
53.	Research On Software Safety Testing Based On Safety Critical System
54.	System Safety Modeling And Analysis Methodology Based On Feature Configuration
55.	Verifying Full Regular Temporal Properties Of Programs Via Dynamic Program Execution
56.	Research On Performance Optimization And Evaluation Technology Of Time-Triggered Ethernet For DIMA Application
57.	Design And Implementation Of PSEFM-Cassandra For Supporting Timing Semantics
58.	Research On System Safety Analysis And Verification Based On Formal Model
59.	Research On Requirement Traceability Of The Safety-critical Systems
60.	Liveness Property Preserving Modeling Method For Safety-critical Systems
<<First <Prev Next> Last>> Jump to