Font Size:
a
A
A
Keyword [Safety-Critical Systems]
Result: 1 - 15 | Page: 1 of 1
1.
Resource Synchronization Protocols And Design Optimization Techniques For Mixed-criticality CPS
2.
Research On High-trusted Architecture Of Embedded Operating Systems
3.
Research And Implementation Of Memory Spatial Isolation Technology For Embedded Systems
4.
Research On Quantitative Risk Analysis Of The Safety-critical Systems
5.
Design And Implementation Of PSEFM-Cassandra For Supporting Timing Semantics
6.
Research On Requirement Traceability Of The Safety-critical Systems
7.
Liveness Property Preserving Modeling Method For Safety-critical Systems
8.
RBML:A Refined Behavior Modeling Language For Safety-critical Hybrid Systems
9.
Generalized leading indicator model for infrequent events in safety-critical systems and its application to marine transportation systems
10.
On the effectiveness of specification-based structural test-coverage criteria as test-data generators for safety-critical systems
11.
A novel approach for generating test suites for component-based safety critical systems
12.
Reusable strategies for testing safety-critical systems
13.
Fail-safe testing of safety-critical systems
14.
Design Of Scheduling Algorithms For Time Deterministic Network
15.
Research On The Transformation Method From SysML Model To AADL Model For Safety-critical Systems
<<First
<Prev Next>
Last>>
Jump to
