CTPN-to-TA 相关硕士博士期刊学术论文

嵌入式实时系统多数应用在安全性要求较高的场合，因此需要保证系统的正确性。复杂性不断增加的实时系统迫切需要在系统开发早期引入......