Font Size: a A A
Keyword [safety critical]
Result: 21 - 40 | Page: 2 of 3
21. Safety-critical Technologies Of Monorail Train Control Systems
22. Research On Safety Allocation Model Of Marchinery&electrical Products
23. Application Of EVENT-B Method In Formal Modeling And Verification Of Railway Station Interlocking Specification
24. Safety Analysis Of Moving Vehicles On The High-pier And Large-span Continuous Rigid Frame Bridge Under Crosswind
25. Study On A Reliability Evaluation Technology Of Nuclear Safety Critical Digital Instrumentation & Control Systems
26. Modeling And Analysis Method Of Railway Signal System Safety Critical Software
27. Design Optimization Techniques For Resource-Constrained Safety-Critical Real-Time Embedded Systems
28. Specification And Verification Of Safety Critical System Requirements Based On SCR Method
29. Heterogeneous Safety-critical Computer Design Based On VxWorks And QNX Real-time Operating Systems
30. Nuclear Criticality Safety Evaluation Of Chemical Production Line Of Nuclear Fuel Element For PWR
31. On Reliability Design Inspection,Analysis And Test Methods Of Safety-Critical Software For Nuclear Power Plants
32. Research On System Requirements Modeling And Safety Analysis Based On Formal Method
33. Research On Airborne Safety Critical Software Model Verication Technology
34. Research On The Method Of Synthesizing The Credibility Evidence Of Safety-critical Software
35. The quantitative safety assessment for safety-critical computer systems
36. A stator turn fault detection method and a fault-tolerant operating strategy for interior PM synchronous motor drives in safety-critical applications
37. Risk-informed coordinated on-line test and maintenance for safety-critical standby instrumentation and control systems
38. Evaluation of real-time safety-critical wide area networks
39. Safety Engineering of Computational Cognitive Architectures within Safety-Critical Systems
40. Safety-critical Geometric Control Design with Application to Aerial Transportation
  <<First  <Prev  Next>  Last>>  Jump to