Periodic resource model for compositional real-time guarantees 论文

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

Periodic resource model for compositional real-time guarantees · 作者

I

Insup Lee

I

Insik Shin