Real-time systems. 2007;35(3):181-208. doi: 10.1007/s11241-006-9007-9 Q31.32025
Modeling distributed real-time applications with specification PEARL
使用规格PEARL对分布式实时应用进行建模
DOI: 10.1007/s11241-006-9007-9
摘要 查看摘要
Real-time systems. 2007;35(3):181-208. doi: 10.1007/s11241-006-9007-9 Q31.32025
DOI: 10.1007/s11241-006-9007-9
摘要 查看摘要