实时嵌入式软件系统相关硕士博士期刊学术论文

本文介绍了时间Petri网模型在实时嵌入式软件系统的安全性分析中的应用,并通过一个实例介绍了时间Petri网的动态分析法,最后给出了......