Towards the Design of Certifiable Mixed-criticality Systems 论文

2010引用 228
DOI
Real-Time Systems SchedulingEmbedded Systems Design TechniquesFormal Methods in Verification
Formal Methods in VerificationEmbedded Systems Design TechniquesReal-Time Systems Scheduling
相关技术:Formal Methods in Verification
关系图谱

Towards the Design of Certifiable Mixed-criticality Systems · 相关技术

相关技术

Formal Methods in Verification