Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance 论文

2007引用 526
DOI
Real-Time Systems SchedulingPetri Nets in System ModelingFormal Methods in Verification
Petri Nets in System ModelingFormal Methods in VerificationReal-Time Systems Scheduling
相关技术:Petri Nets in System ModelingFormal Methods in Verification
关系图谱

Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance · 相关文章

暂无数据