CCS + time = an interleaving model for real time systems 论文

1991Lecture notes in computer science引用 239
DOI
Real-Time Systems SchedulingFormal Methods in VerificationEmbedded Systems Design Techniques
Formal Methods in VerificationEmbedded Systems Design TechniquesReal-Time Systems Scheduling
相关技术:Formal Methods in Verification
关系图谱

CCS + time = an interleaving model for real time systems · 相关技术

相关技术

Formal Methods in Verification