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 |
|
