Rigorous Component-Based System Design Using the BIP Framework 论文

2011IEEE Software引用 278
DOI
Embedded Systems Design TechniquesFormal Methods in VerificationReal-Time Systems Scheduling
Formal Methods in VerificationEmbedded Systems Design TechniquesReal-Time Systems Scheduling
相关技术:Formal Methods in Verification
关系图谱

Rigorous Component-Based System Design Using the BIP Framework · 相关事件

暂无数据